APA (7th ed.) Citation

Willsey, M., Nandi, C., Wang, Y. R., Flatt, O., Tatlock, Z., & Panchekha, P. (2021). egg: Fast and extensible equality saturation. Proceedings of ACM on programming languages, 5(POPL), 1-29. https://doi.org/10.1145/3434304

Chicago Style (17th ed.) Citation

Willsey, Max, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, and Pavel Panchekha. "Egg: Fast and Extensible Equality Saturation." Proceedings of ACM on Programming Languages 5, no. POPL (2021): 1-29. https://doi.org/10.1145/3434304.

MLA (9th ed.) Citation

Willsey, Max, et al. "Egg: Fast and Extensible Equality Saturation." Proceedings of ACM on Programming Languages, vol. 5, no. POPL, 2021, pp. 1-29, https://doi.org/10.1145/3434304.