@misc{indiciaef30d1f8cc5fd,
  title = {A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)},
  author = {Massimiliano de Leoni and Paolo Felli and Marco Montali},
  year = {2018},
  url = {https://arxiv.org/abs/1804.02316},
  note = {Source identifier: 1804.02316}
}