Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso. A Hierarchical Task-Network Planner based on Symbolic Model Checking. In Susanne Biundo, Karen L. Myers, Kanna Rajan, editors, Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA. pages 300-309, AAAI, 2005.