APA (7th ed.) Citation

Balbiani, P., Dieguez, M., & Fernandez-Duque, D. (2021, June 29). Some constructive variants of S4 with the finite model property. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470643

Chicago Style (17th ed.) Citation

Balbiani, Philippe, Martin Dieguez, and David Fernandez-Duque. "Some Constructive Variants of S4 with the Finite Model Property." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470643.

MLA (9th ed.) Citation

Balbiani, Philippe, et al. "Some Constructive Variants of S4 with the Finite Model Property." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470643.