De Giacomo G, Maggi FM, Marrella A, Patrizi F. On the Disruptive Effectiveness of Automated Planning for LTL<i>f</i>-Based Trace Alignment. AAAI [Internet]. 2017Feb.12 [cited 2024May6];31(1). Available from: https://ojs.aaai.org/index.php/AAAI/article/view/11020