Ielo, A. (2026) “Enumerating Minimal Unsatisfiable Cores of LTLf Formulae”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), pp. 19160–19168. doi: 10.1609/aaai.v40i23.38990.