Leo, K.; Gange, G.; Garcia de la Banda, M.; Wallace, M. Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI 2024, 38, 8065-8072.