Kuter U, Nau DS, Pistore M, Traverso P.  2005.  A hierarchical task-network planner based on symbolic model checking. :300-309.