Generating Abstraction Hierarchies: An Automated Approach to Reducing Search in Planning (The Springer International Series in Engineering and Computer Science)