De Giacomo, Giuseppe, Fabrizio Maria Maggi, Andrea Marrella, and Fabio Patrizi. “On the Disruptive Effectiveness of Automated Planning for LTL<i>f</I>-Based Trace Alignment”. Proceedings of the AAAI Conference on Artificial Intelligence 31, no. 1 (February 12, 2017). Accessed May 7, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/11020.