Concise Introduction to Models and Methods for Automated Planning by Hector Geffner, Blai Bonet | Lex | Lex