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]
@inproceedings{SmithP14-1, title = {Reasoning on Data-Aware Business Processes with Constraint Logic}, author = {Fabrizio Smith and Maurizio Proietti}, year = {2014}, url = {http://ceur-ws.org/Vol-1293/paper5.pdf}, researchr = {https://researchr.org/publication/SmithP14-1}, cites = {0}, citedby = {0}, pages = {60-75}, booktitle = {Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), Milan, Italy, November 19-21, 2014}, editor = {Rafael Accorsi and Paolo Ceravolo and Barbara Russo}, volume = {1293}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }