@misc{indiciaedf983c30398d,
  title = {Efficient Extraction for Effectful E-Graphs},
  author = {Oliver Flatt and Anjali Pal and Yihong Zhang and Ryan Tjoa and Kirsten Graham and Alex Fischman and Chandrakana Nandi and Eli Rosenthal and Zachary Tatlock and Haobin Ni},
  year = {2026},
  url = {https://arxiv.org/abs/2609.31887},
  note = {Source identifier: 2609.31887}
}