TY  - BOOK
AU  - Lalemant Rene
TI  - Computation as logic
T2  - Prentice Hall international series in computer science
U1  - D65,8(B):(R1), N3 
PY  - 1993///
CY  - Paris
PB  - Masson         
KW  - Logic programming
ER  -