Task-based entailment constraints for basic workflow patterns.

Christian Wolter, Andreas Schaad, Christoph Meinel

Browse the full SACMAT paper archive.