@misc{indiciaed4e78443196e,
  title = {Equality Saturation: A New Approach to Optimization},
  author = {Ross Tate and Michael Stepp and Zachary Tatlock and Sorin Lerner},
  year = {2011},
  doi = {10.2168/lmcs-7(1:10)2011},
  url = {https://arxiv.org/abs/1012.1802},
  note = {Source identifier: 1012.1802}
}