@misc{indiciae49d2ed284bff,
  title = {Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study},
  author = {Guanxuan Wu and Allison Sullivan},
  year = {2026},
  url = {https://arxiv.org/abs/2609.03998},
  note = {Source identifier: 2609.03998}
}