A. Cimatti, M. Pistore, M. Roveri, and P. Traverso, Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence, vol.147, issue.1-2, pp.35-84, 2003.
DOI : 10.1016/S0004-3702(02)00374-0

J. Hoffmann and B. Nebel, The FF planning system: Fast plan generation through heuristic search, JAIR, vol.14, pp.253-302, 2001.

S. Kambhampati, Model-lite planning for the web age masses: The challenges of planning with incomplete and evolving domain models, Proc. AAAI'07, 2007.

S. Narayanan and S. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, 2002.
DOI : 10.1145/511446.511457

M. Pistore, P. Traverso, and P. Bertoli, Automated composition of web services by planning in asynchronous domains, Proc. ICAPS'05, 2005.

M. Weske, Business Process Management: Concepts, Languages , Architectures, 2007.
DOI : 10.1007/978-3-642-28616-2

S. W. Yoon, A. Fern, and R. Givan, FF-Replan: A baseline for probabilistic planning, Proc. ICAPS'07, 2007.