Logical foundations of artificial intelligence - Genesereth, Michael R., 1948- (Morgan Kaufmann, 1987)