Principles of artificial intelligence - Nilsson, Nils J. (Tioga Pub., 1980)