Return to Article Details Reversibility and Reachability in HTN Planning: Formalization and Computational Complexities in the Totally-Ordered Setting Download Download PDF