@misc{indiciae6a99bd011124,
  title = {VERIFAS: A Practical Verifier for Artifact Systems},
  author = {Yuliang Li and Alin Deutsch and Victor Vianu},
  year = {2017},
  url = {https://arxiv.org/abs/1705.10007},
  note = {Source identifier: 1705.10007}
}