APA (7th ed.) Citation

Enqvist, S., Seifan, F., & Venema, Y. (2015, July). Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 353-365. https://doi.org/10.1109/LICS.2015.41

Chicago Style (17th ed.) Citation

Enqvist, Sebastian, Fatemeh Seifan, and Yde Venema. "Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science Jul. 2015: 353-365. https://doi.org/10.1109/LICS.2015.41.

MLA (9th ed.) Citation

Enqvist, Sebastian, et al. "Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul. 2015, pp. 353-365, https://doi.org/10.1109/LICS.2015.41.