TY  - BOOK
AU  - Doets, Kees
TI  - From logic to logic programming
SN  - 0 262 04142 1
CY  - Cambridge
KW  - Logic Programming
ER  -