Christian Wolter Andreas Schaad Christoph Meinel Task-based entailment constraints for basic workflow patterns. 51-60 2008 SACMAT http://doi.acm.org/10.1145/1377836.1377844 conf/sacmat/2008 db/conf/sacmat/sacmat2008.html#WolterSM08