@techreport{arXiv:1207.2461v1, author = {Andreas Bauer and Peter Baumgartner and Michael Norrish}, title = {Reasoning with Data-Centric Business Processes}, type = {Computing Research Repository (CoRR)}, number = {abs/1207.2461}, year = 2012, month = Jul, institution = {Association for Computing Machinery (ACM)} }