Nau DS, Au TC, Ilghami O, Kuter U, Murdock JW, Wu D, Yaman F.  2003.  SHOP2: An HTN planning system. J. Artif. Intell. Res. (JAIR). 20:379-404.