Logical Foundations of Arti cial Intelligence (1987)

by M R Genesereth, N J Nilsson