Principles of artificial intelligence - Nilsson, Nils J. (Morgan Kaufmann Publishers, 1980)