Speeding up Problem Solving by Abstraction: A Graph Oriented Approach. - Robert C. Holte; T. Mkadmi; Robert M. Zimmer; Alan J. MacDonald (Artif. Intell., 1996)