@misc{indiciae236bdebe2bd4,
  title = {AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph},
  author = {Guanxuan Wu and Allison Sullivan},
  year = {2024},
  url = {https://arxiv.org/abs/2403.00170},
  note = {Source identifier: 2403.00170}
}