@misc{indiciaed93dbb6a1bc5,
  title = {eqsat: An Equality Saturation Dialect for Non-destructive Rewriting},
  author = {Jules Merckx and Alexandre Lopoukhine and Samuel Coward and Jianyi Cheng and Bjorn De Sutter and Tobias Grosser},
  year = {2025},
  url = {https://arxiv.org/abs/2505.09363},
  note = {Source identifier: 2505.09363}
}