S. Lin, A. Grastien, and P. Bercher, “Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains”, AAAI, vol. 37, no. 10, pp. 12022-12031, Jun. 2023.