Gianluigi Greco, Antonella Guzzo, Domenico Saccà. Reasoning on Workflow Executions. In Leonid A. Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka, editors, Advances in Databases and Information Systems, 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings. Volume 2798 of Lecture Notes in Computer Science, pages 205-219, Springer, 2003. [doi]
Abstract is missing.