@article{willsey-2021-egg,
 author = {Willsey, Max and Nandi, Chandrakana and Wang, Yisu Remy and Flatt, Oliver and Tatlock, Zachary and Panchekha, Pavel},
 title = {egg: Fast and Extensible Equality Saturation},
 journal = {Proc. ACM Program. Lang.},
 volume = {5},
 number = {POPL},
 year = {2021},
 month = jan,
 pages = {1--29},
 publisher = {Association for Computing Machinery},
 doi = {10.1145/3434304}
}