de Leoni, M., G. Lanciano, and A. Marrella. “Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 28, no. 1, June 2018, pp. 321-9, doi:10.1609/icaps.v28i1.13911.