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