Declarative process mining in healthcare. - Marcella Rovani; Fabrizio Maria Maggi; Massimiliano de Leoni; Wil M. P. van der Aalst (Expert Syst. Appl., 2015)