TY  - BOOK
AU  - LEVESQUE H.J. & LAKEMEYER G.
TI  - THE LOGIC OF KNOWLEDGE BASES
SN  - 0000262122324
U1  - 006.33 
PB  - LONDON : MIT
KW  - KNOWLEDGE REPRESENTATION : EXPERT SYSTEMS
ER  -