M. de Leoni, G. Lanciano, and A. Marrella, “Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning”, ICAPS, vol. 28, no. 1, pp. 321-329, Jun. 2018.