@misc{indiciae61e17f6e2740,
  title = {Analyzing Alloy Formulas using an SMT Solver: A Case Study},
  author = {Aboubakr Achraf El Ghazi and Mana Taghdiri},
  year = {2015},
  url = {https://arxiv.org/abs/1505.00672},
  note = {Source identifier: 1505.00672}
}