"Task-based entailment constraints for basic workflow patterns."

Christian Wolter, Andreas Schaad, Christoph Meinel (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics