doi dblp A Concise Introduction to Models and Methods for Automated Planning Hector Geffner | Blai Bonet