Artificial Intelligence : A New Synthesis - Nilsson, Nils J. (Morgan Kaufmann, 1998)