TY  - RPRT
TI  - Automatic Unbounded Verification of Alloy Specifications with Prover9
AU  - Nuno Macedo
AU  - Alcino Cunha
PY  - 2012
UR  - https://arxiv.org/abs/1209.5773
ID  - 1209.5773
ER  -