Principles of artificial intelligence - Nilsson, Nils J., 1933- (1980)