M.  de Leoni, Lanciano, G., and Marrella, A., ?Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning?, in 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), 2018.