TY - BOOK AU - Jackson, Peter., ed. AU - Reichgelt, Han., ed. AU - Van Harmelan, Frank., ed. TI - Logic-based knowledge representation T2 - MIT Press series in logic programming SN - 026210038X U1 - 001.642 PY - 1989/// CY - Cambridge PB - MIT ER -