Problem solving methods in artificial intelligence - Nilsson Nils J (New York McGraw Hill, 1971)
Keywords: Computer science