Logical foundations of artificial intelligence - Genesereth, Michael R. (Morgan Kaufmann, 1986)
Includes bibliographical references & index.