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