Ielo, A.; Mazzotta, G.; Peñaloza, R.; Ricca, F. Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. AAAI 2026, 40, 19160-19168.