@misc{indiciae49c1160b6a48,
  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},
  doi = {10.1145/3434304},
  url = {https://arxiv.org/abs/2004.03082},
  note = {Source identifier: 2004.03082}
}