Principles of artificial intelligence - Nilsson, Nils J (Narosa, 1980)