lEARNING TO SOLVE PROBLEMS BY SEARCHING for micro operators - richard E Korf (Pitman, 1985)