Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library.

Anti Alman, Ivan Donadello, Fabrizio Maria Maggi, Marco Montali

Browse the full PROFES paper archive.