APA (7th ed.) Citation

de Groot, J., Litak, T., & Pattinson, D. (2021, June 29). Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-15. https://doi.org/10.1109/LICS52264.2021.9470508

Chicago Style (17th ed.) Citation

de Groot, Jim, Tadeusz Litak, and Dirk Pattinson. "Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-15. https://doi.org/10.1109/LICS52264.2021.9470508.

MLA (9th ed.) Citation

de Groot, Jim, et al. "Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-15, https://doi.org/10.1109/LICS52264.2021.9470508.