Lin, S.; Grastien, A.; Bercher, P. Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI 2023, 37, 12022-12031.