TY  - BOOK
AU  - Doets, Kees
TI  - From logic to logic programming
SN  - 0262041421
U1  - 005.1 
PY  - 1994///
CY  - London
PB  - MIT Press
KW  - Logic programming
ER  -