TY  - BOOK
AU  - Genesereth,  Michael R.
AU  -  Nilsson,  Nils J.
TI  - Logical foundations of artificial intelligence
U1  - 006.3 G286L 
ER  -