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 2023, 37, 12041-12048.