V. Fionda, A. Ielo, and F. Ricca, “Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas”, AAAI, vol. 40, no. 23, pp. 19073–19081, Mar. 2026.