Rule-Oriented Methods in Problem Solving. - Masamichi Shimura; Frank H. George (Artif. Intell., 1973)