@misc{indiciaee3f1231b7289,
  title = {Semantic foundations of equality saturation},
  author = {Dan Suciu and Yisu Remy Wang and Yihong Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2501.02413},
  note = {Source identifier: 2501.02413}
}