Book

Concise Introduction to Models and Methods for Automated Planning

by Hector Geffner, Blai Bonet, Blai Bonet i Rigo