LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE - GENESERETH,MICHAEL R, NILSSON,NILS J (MK CALIFORNIA, 1987)
BR-SC 16