@misc{indiciaecfa2964f5bbb,
  title = {Automating Reformulation of Essence Specifications via Graph Rewriting},
  author = {Ian Miguel and András Z. Salamon and Christopher Stone},
  year = {2024},
  url = {https://arxiv.org/abs/2411.09576},
  note = {Source identifier: 2411.09576}
}