@misc{indiciaeabca47fcad70,
  title = {SpinArt: A Spin-based Verifier for Artifact Systems},
  author = {Yuliang Li and Alin Deutsch and Victor Vianu},
  year = {2018},
  url = {https://arxiv.org/abs/1705.09427},
  note = {Source identifier: 1705.09427}
}