APA (7th ed.) Citation

Clemente, L., Parys, P., Salvati, S., & Walukiewicz, I. (2016, July 5). The Diagonal Problem for Higher-Order Recursion Schemes is Decidable. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 96-105. https://doi.org/10.1145/2933575.2934527

Chicago Style (17th ed.) Citation

Clemente, Lorenzo, Paweł Parys, Sylvain Salvati, and Igor Walukiewicz. "The Diagonal Problem for Higher-Order Recursion Schemes Is Decidable." Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science 5 Jul. 2016: 96-105. https://doi.org/10.1145/2933575.2934527.

MLA (9th ed.) Citation

Clemente, Lorenzo, et al. "The Diagonal Problem for Higher-Order Recursion Schemes Is Decidable." Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 5 Jul. 2016, pp. 96-105, https://doi.org/10.1145/2933575.2934527.