Chiariello, F.; Maggi, F. M.; Patrizi, F. ASP-Based Declarative Process Mining. AAAI 2022, 36, 5539-5547.