de Leoni M, Lanciano G, Marrella A. Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning. ICAPS [Internet]. 2018Jun.15 [cited 2024Apr.18];28(1):321-9. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13911