TY  - BOOK
AU  - Jackson,Peter
AU  - Reichgelt,Han
AU  - Van Harmelen,Frank
TI  - Logic-based knowledge representation 
SN  - 026210038X 
U1  - 004.1 
PY  - 1989///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Expert systems (Computer science)
KW  - Logic programming
KW  - Knowledge representation (Information theory)
N1  - Includes index; Bibliography:
ER  -