TY  - BOOK
AU  - LLOYD,JOHN WYLIE
TI  - FOUNDATIONS OF LOGIC PROGRAMMING
SN  - NCST
U1  - 904 
PY  - 1984///
CY  - BERLIN
PB  - SV
ER  -