S. Lin, G. Behnke, S. Ondrčková, R. Barták, and P. Bercher, “On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm”, AAAI, vol. 37, no. 10, pp. 12041-12048, Jun. 2023.