@misc{indiciae77e7f52815cf,
  title = {Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching},
  author = {Philip Zucker},
  year = {2025},
  url = {https://arxiv.org/abs/2504.14340},
  note = {Source identifier: 2504.14340}
}