Generating Abstraction Hierarchies door Craig A. Knoblock