S. Lin and P. Bercher, “Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains”, AAAI, vol. 37, no. 10, pp. 12032-12040, Jun. 2023.