APA (7th ed.) Citation

Gadducci, F., Laretto, A., & Trotta, D. (2026). Counterpart-based Quantified Temporal Logics. Journal of logical and algebraic methods in programming, 148, 101082. https://doi.org/10.1016/j.jlamp.2025.101082

Chicago Style (17th ed.) Citation

Gadducci, Fabio, Andrea Laretto, and Davide Trotta. "Counterpart-based Quantified Temporal Logics." Journal of Logical and Algebraic Methods in Programming 148 (2026): 101082. https://doi.org/10.1016/j.jlamp.2025.101082.

MLA (9th ed.) Citation

Gadducci, Fabio, et al. "Counterpart-based Quantified Temporal Logics." Journal of Logical and Algebraic Methods in Programming, vol. 148, 2026, p. 101082, https://doi.org/10.1016/j.jlamp.2025.101082.