Ondrčková, S.; Barták, R.; Bercher, P.; Behnke, G. On Heuristics for Parsing-Based Verification of Hierarchical Plans With a Goal Task. FLAIRS 2022, 35.