Declarative Process Discovery with MINERful in ProM. - Claudio Di Ciccio; Mitchel H. M. Schouten; Massimiliano de Leoni; Jan Mendling (BPM (Demos), 2015)