D. Höller, J. Wichlacz, P. Bercher, and G. Behnke, “Compiling HTN Plan Verification Problems into HTN Planning Problems”, ICAPS, vol. 32, no. 1, pp. 145-150, Jun. 2022.