The quest for artificial intelligence : a history of ideas and achievements - Nilsson, Nils J. (Cambridge Univ. Press, 2010)