APA (7th ed.) Citation

Heim, P., & Dimitrova, R. (2025). Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis. Proceedings of the ACM on Programming Languages, 9(POPL), 1536-1567. https://doi.org/10.1145/3704888

Chicago Style (17th ed.) Citation

Heim, Philippe, and Rayna Dimitrova. "Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis." Proceedings of the ACM on Programming Languages 9, no. POPL (2025): 1536-1567. https://doi.org/10.1145/3704888.

MLA (9th ed.) Citation

Heim, Philippe, and Rayna Dimitrova. "Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis." Proceedings of the ACM on Programming Languages, vol. 9, no. POPL, 2025, pp. 1536-1567, https://doi.org/10.1145/3704888.