R. Goldman, “A Semantics for HTN Methods”, ICAPS, vol. 19, no. 1, pp. 146-153, Oct. 2009.