"Various Notions of Soundness for Decision-Aware Business Processes."

Kimon Batoulis, Stephan Haarmann, Mathias Weske (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics