Automatic verification of data-centric business processes (2009)

by A Deutsch, R Hull, F Patrizi, V Vianu
Venue:In Proceedings of the International Conference on Database Theory