TY  - BOOK
AU  - BRACHMAN,RONALD J.
AU  - LEVESQUE HECTOR J.
TI  - KNOWLEDGE REPRESENTATION AND REASONING
SN  - 9781558609327
PY  - 2004///
CY  - NEW YORK
PB  - ELSEVIER PUB.
ER  -