Machine generated authority record.

Work cat.: (Clm)58663: Geffner, Hector 4152, A concise introduction to models and methods for automated planning, 2013