1.
Höller D, Wichlacz J, Bercher P, Behnke G. Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS [Internet]. 2022Jun.13 [cited 2023Feb.8];32(1):145-50. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/19795