Logical Foundations of Artificial Intelligence - Genesereth, Michael R.; Nilsson, Nils J. (Morgan Kaufmann Publishers Inc., 1987)
Περιέχει ασκήσεις βιβλιογραφια: σσ. 363-400