TY  - BOOK
AU  - Brachman, Ronald J.
AU  - Levesque, Hector J
TI  - Knowledge Representation and Reasoning 
SN  - 9781558609327
PY  - 2004///
CY  - London
PB  - Morgan Kaufman
ER  -