Logical Foundations of Artificial Intelligence - Genesereth, Michael R. 1948- (Morgan Kaufmann Publishers, 1988)