Logical Foundations of Arti cial Intelligence (1987)

by M Genesereth, N Nilsson