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