de Leoni, Massimiliano, Giacomo Lanciano, and Andrea Marrella. “Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 28, no. 1 (June 15, 2018): 321-329. Accessed July 4, 2022. https://ojs.aaai.org/index.php/ICAPS/article/view/13911.