Search and reasoning in problem solving - Simon, H (Artif Intell, 1983)