Artificial Intelligence : a new synthesis - Nilsson, Nils J., 1933- (Morgan Kaufmann Publishers; Harcourt, 1998)