@misc{indiciae262d6c272999,
  title = {Rewrite Rule Inference Using Equality Saturation},
  author = {Chandrakana Nandi and Max Willsey and Amy Zhu and Yisu Remy Wang and Brett Saiki and Adam Anderson and Adriana Schulz and Dan Grossman and Zachary Tatlock},
  year = {2021},
  url = {https://arxiv.org/abs/2108.10436},
  note = {Source identifier: 2108.10436}
}