"Conformance Checking in the Large: Partitioning and Topology."

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