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