@misc{indiciaedccdd4f2cb9f,
  title = {Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB},
  author = {Ali Abbassi and Nancy A. Day and Derek Rayside},
  year = {2019},
  url = {https://arxiv.org/abs/1906.05881},
  note = {Source identifier: 1906.05881}
}