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