Discovering Declarative Process Model Behavior from Event Logs via Model Learning. - Simone Agostinelli; Giacomo Bergami; Alessio Fiorenza; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (ICPM, 2021)