Problem-solving methods in artificial intelligence / by Nils J. Nilsson. - Nilsson, Nils J., 1933- (McGraw-Hill, 1971)