Lin S, Behnke G, Ondrčková S, Barták R, Bercher P. On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm. AAAI [Internet]. 2023Jun.26 [cited 2024Aug.16];37(10):12041-8. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26420