Alin Deutsch Richard Hull Fabio Patrizi Victor Vianu Automatic verification of data-centric business processes. 252-267 2009 ICDT http://doi.acm.org/10.1145/1514894.1514924 conf/icdt/2009 db/conf/icdt/icdt2009.html#DeutschHPV09