TY  - BOOK
AU  - Levesque H J
TI  - Logic of knowledge bases
PY  - 2000///
CY  - London
PB  - London, MIT
KW  - Management
ER  -