"Single-Entry Single-Exit decomposed conformance checking."

Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics