D. Chen and P. Bercher, “Fully Observable Nondeterministic HTN Planning -- Formalisation and Complexity Results”, ICAPS, vol. 31, no. 1, pp. 74-84, May 2021.