TY  - BOOK
AU  - Deville,Yves
TI  - Logic Programming: Systematic Program Development 
SN  - 0201175762
PY  - 1990///
CY  - Wokingham
PB  - Addison-Wesley Publishing Company
N1  - bibliogr
ER  -