De Giacomo, G.; Maggi, F. M.; Marrella, A.; Patrizi, F. On the Disruptive Effectiveness of Automated Planning for LTL<i>f</I>-Based Trace Alignment. AAAI 2017, 31.