@misc{indiciaecbfb58a31d0b,
  title = {Verification of Artifact-Centric Systems: Decidability and Modeling Issues},
  author = {Dmitry Solomakhin and Marco Montali and Sergio Tessaris and Riccardo De Masellis},
  year = {2013},
  url = {https://arxiv.org/abs/1304.1697},
  note = {Source identifier: 1304.1697}
}