Höller, D.; Wichlacz, J.; Bercher, P.; Behnke, G. Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS 2022, 32, 145-150.