APA (7th ed.) Citation

Esparza, J., Rubio, R., & Sickert, S. (2024). Efficient Normalization of Linear Temporal Logic. Journal of the ACM, 71(2), 1. https://doi.org/10.1145/3651152

Chicago Style (17th ed.) Citation

Esparza, Javier, Rubén Rubio, and Salomon Sickert. "Efficient Normalization of Linear Temporal Logic." Journal of the ACM 71, no. 2 (2024): 1. https://doi.org/10.1145/3651152.

MLA (9th ed.) Citation

Esparza, Javier, et al. "Efficient Normalization of Linear Temporal Logic." Journal of the ACM, vol. 71, no. 2, 2024, p. 1, https://doi.org/10.1145/3651152.