Di Ciccio, Claudia, and Massimo Mecella. 2012. “MINERful, a Mining Algorithm for Declarative Process Constraints in MailOfMine”. Department of Computer and System Sciences Antonio Ruberti Technical Reports 4 (3). https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/9656.