Fabrizio Smith, Maurizio Proietti. Reasoning on Data-Aware Business Processes with Constraint Logic. In Rafael Accorsi, Paolo Ceravolo, Barbara Russo, editors, Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), Milan, Italy, November 19-21, 2014. Volume 1293 of CEUR Workshop Proceedings, pages 60-75, CEUR-WS.org, 2014. [doi]
Abstract is missing.