F. Chiariello, F. M. Maggi, and F. Patrizi, “ASP-Based Declarative Process Mining”, AAAI, vol. 36, no. 5, pp. 5539-5547, Jun. 2022.