C. Di Ciccio and M. Mecella, “MINERful, a Mining Algorithm for Declarative Process Constraints in MailOfMine”, DIS Technical Reports, vol. 4, no. 3, Mar. 2012.