D. Nau, T. Au, O. Ilghami, U. Kuter, W. Murdock et al., Shop2: An HTN planning system, Journal of Artificial Intelligence Research, vol.20, pp.379-404, 2003.

R. Finkes and N. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.34, issue.2, pp.189-208, 1971.

R. M. Jensen and M. M. Veloso, OBDD-based universal planning for multiple synchronized agents in non-deterministic domains, Artificial Intelligence Planning Systems, pp.167-176, 2000.
DOI : 10.1007/3-540-48317-9_9

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. B. Do and S. Kambhampati, Sapa: A domain-independent heuristic metric temporal planner, Proceedings of the European Conference on Planning, 2001.

H. Kautz and B. Selman, Unifying SAT-based and graph-based planning, Workshop on Logic-Based Artificial Intelligence, 1999.

A. Blum and M. Furst, Fast planning through planning graph analysis, Artificial Intelligence, vol.90, issue.1-2, pp.279-298, 1997.
DOI : 10.1016/S0004-3702(96)00047-1

I. Lakatos, Proofs and Refutations, 1976.