Guanxuan Wu, Allison Sullivan: AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. MODELS 2024: 57-68