Automated planning: theory and practice - Ghallab, Malik (Morgan Kaufmann Publishers, 2004)