Di Ciccio, C.; Mecella, M. MINERful, a Mining Algorithm for Declarative Process Constraints in MailOfMine. DIS Technical Reports 2012, 4.