APA (7th ed.) Citation

Baratella, S. (2025). On the weak completeness of a fragment of linear temporal logic. Journal of Logic & Computation, 35(5), 1. https://doi.org/10.1093/logcom/exaf037

Chicago Style (17th ed.) Citation

Baratella, Stefano. "On the Weak Completeness of a Fragment of Linear Temporal Logic." Journal of Logic & Computation 35, no. 5 (2025): 1. https://doi.org/10.1093/logcom/exaf037.

MLA (9th ed.) Citation

Baratella, Stefano. "On the Weak Completeness of a Fragment of Linear Temporal Logic." Journal of Logic & Computation, vol. 35, no. 5, 2025, p. 1, https://doi.org/10.1093/logcom/exaf037.