A Concise Introduction to Models and Methods for Automated Planning

Book by Blai Bonet and Hector Geffner