Artificial Intelligence:A New Synthesis - Nils J Nilsson (Amsterdam Morgan Kaufmann Publishers, 2009)