TY  - BOOK
AU  - Gabbay, Dov
AU  - Hogger, C
AU  - Robinson, J
TI  - Handbook of logic in artificial intelligence and logic programming
SN  - 019853745X
PY  - 1996///
CY  - Oxford
PB  - Clarendon Press
KW  - Logic programming
KW  - artificial intelligence
KW  - logic
ER  -