Artificial intelligence a new synthesis - Nilsson, Nils J. 1933- (Morgan Kaufman Publishers, 1998)