Learning to solve problems by searching for macro-operators
Korf, Richard E.
Boston London Pitman Advanced
1985
Bibliography: p143-158
Artificial intelligence.
Problem solving.