Vol. 4 No. 3 (2012): MINERful, a Mining Algorithm for Declarative Process Constraints in MailOfMine