Di Ciccio, C. and 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 (Mar. 2012).