TY  - BOOK
AU  - Jackson,Peter
AU  - Reichgelt,Han
AU  - Harmelen,Frank van
TI  - Logic-based knowledge representation
T2  - MIT Press series in logic programming
SN  - 026210038X
U1  - 006.3/3 
PY  - 1989///
CY  - London [u.a.]
PB  - MIT Pr.
ER  -