Fionda, V.; Ielo, A.; Ricca, F. Computing Syntax Tree-Based Minimal Unsatisfiable Cores of LTLf Formulas. AAAI 2026, 40, 19073-19081.