A Concise Introduction to Models and Methods for Automated Planning - Geffner, Hector (Morgan & Claypool Publishers)