Fionda, V., Ielo, A. and Ricca, F. (2026) “Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), pp. 19073–19081. doi: 10.1609/aaai.v40i23.38980.