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
Citace podle Chicago (17th ed.)Balbiani, Philippe, Martin Dieguez, a 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.
Citace podle MLA (9th ed.)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.