A. Ielo, G. Mazzotta, R. Peñaloza, and F. Ricca, “Enumerating Minimal Unsatisfiable Cores of LTLf Formulae”, AAAI, vol. 40, no. 23, pp. 19160–19168, Mar. 2026.