Chen, D.; Bercher, P. Fully Observable Nondeterministic HTN Planning -- Formalisation and Complexity Results. ICAPS 2021, 31, 74-84.