APA-Zitierstil (7. Ausg.)

Cabalar, P., Diéguez, M., Laferrière, F., & Schaub, T. (2023). Past-present temporal programs over finite traces.

Chicago-Zitierstil (17. Ausg.)

Cabalar, Pedro, Martín Diéguez, François Laferrière, und Torsten Schaub. Past-present Temporal Programs over Finite Traces. 2023.

MLA-Zitierstil (9. Ausg.)

Cabalar, Pedro, et al. Past-present Temporal Programs over Finite Traces. 2023.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.