Automatic abstraction in planning / - Christensen, Jens. (Dept. of Computer Science, Stanford University :, 1991)