Ghallab M, Nau DS, Traverso P.  2004.  Automated Planning: Theory and Practice.