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