Modeling and Reasoning with Multirelations, and their encoding in Alloy.

Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki

Browse the full MODELS paper archive.