APA (7th ed.) Citation

Aguilera, J. P., & Pacheco, L. (2025). Intuitionistic Gödel-Löb without Sharps. ACM Transactions on Computational Logic, 26(4), 1. https://doi.org/10.1145/3748649

Chicago Style (17th ed.) Citation

Aguilera, Juan P., and Leonardo Pacheco. "Intuitionistic Gödel-Löb Without Sharps." ACM Transactions on Computational Logic 26, no. 4 (2025): 1. https://doi.org/10.1145/3748649.

MLA (9th ed.) Citation

Aguilera, Juan P., and Leonardo Pacheco. "Intuitionistic Gödel-Löb Without Sharps." ACM Transactions on Computational Logic, vol. 26, no. 4, 2025, p. 1, https://doi.org/10.1145/3748649.