Lin, Songtuan, and Pascal Bercher. “Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 10, June 2023, pp. 12032-40, doi:10.1609/aaai.v37i10.26419.