Lin, S.; Bercher, P. Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains. AAAI 2023, 37, 12032-12040.