TY  - BOOK
AU  - Doets,Kees
TI  - From logic to logic programming: Kees Doets
T2  - Foundations of computing
SN  - 0262041421
PY  - 1994///
CY  - Cambridge [etc.]
PB  - MIT Press
KW  - Programación lógica
ER  -