@misc{indiciaefc37d82054db,
  title = {Simplifying MBA Expression Using E-Graphs},
  author = {Seoksu Lee and Hyeongchang Jeon and Eun-Sun Cho},
  year = {2024},
  url = {https://arxiv.org/abs/2404.05431},
  note = {Source identifier: 2404.05431}
}