Automated planning : - Ghallab, Malik (Elsevier/Morgan Kaufmann, 2004)