Automated Planning. - Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo (2008)