Automated Planning : Theory & Practice - Malik Ghallab; Dana Nau; Paolo Traverso (2004)