@misc{willsey2020fast,
  title={egg: Fast and Extensible Equality Saturation},
  author={Max Willsey and Chandrakana Nandi and Yisu Remy Wang and Oliver Flatt and Zachary Tatlock and Pavel Panchekha},
  year={2020},
  eprint={2004.03082},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  doi={10.1145/3434304},
  url={https://arxiv.org/abs/2004.03082}
}