APA (7th ed.) Citation

Lin, T., Lu, C., & Tan, T. (2021, June 29). Towards a more efficient approach for the satisfiability of two-variable logic. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470502

Chicago Style (17th ed.) Citation

Lin, Ting-Wei, Chia-Hsuan Lu, and Tony Tan. "Towards a More Efficient Approach for the Satisfiability of Two-variable Logic." 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.9470502.

MLA (9th ed.) Citation

Lin, Ting-Wei, et al. "Towards a More Efficient Approach for the Satisfiability of Two-variable Logic." 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.9470502.