Logical Foundations of Arti - cial Intelligence (1987)

by M R Genesereth, N J Nilsson