Goldman, Robert. 2009. “A Semantics for HTN Methods”. Proceedings of the International Conference on Automated Planning and Scheduling 19 (1):146-53. https://doi.org/10.1609/icaps.v19i1.13377.