S. Ondrčková, R. Barták, P. Bercher, and G. Behnke, “On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task”, FLAIRS, vol. 35, May 2022.