APA (7th ed.) Citation

Jung, J. C., & Wolter, F. (2021, June 29). Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-14. https://doi.org/10.1109/LICS52264.2021.9470585

Chicago Style (17th ed.) Citation

Jung, Jean Christoph, and Frank Wolter. "Living Without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-14. https://doi.org/10.1109/LICS52264.2021.9470585.

MLA (9th ed.) Citation

Jung, Jean Christoph, and Frank Wolter. "Living Without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-14, https://doi.org/10.1109/LICS52264.2021.9470585.