TY  - BOOK
AU  - "Parent,Michel"
AU  - " Laurgeau,Claude"
TI  - LOGIC AND PROGRAMMING
PY  - 1987///
PB  - "Kogan Page,London"
KW  - Logic
KW  - Computer Science
N1  - YES
ER  -