"Scalable Process Discovery with Guarantees."

Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics