APA (7th ed.) Citation

Carayol, A., Löding, C., & Serre, O. (2016, July 5). Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 227-236. https://doi.org/10.1145/2933575.2934504

Chicago Style (17th ed.) Citation

Carayol, Arnaud, Christof Löding, and Olivier Serre. "Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings." Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science 5 Jul. 2016: 227-236. https://doi.org/10.1145/2933575.2934504.

MLA (9th ed.) Citation

Carayol, Arnaud, et al. "Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings." Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 5 Jul. 2016, pp. 227-236, https://doi.org/10.1145/2933575.2934504.