Goldman, R. A Semantics for HTN Methods. ICAPS 2009, 19, 146-153.