TY  - BOOK
AU  - Lloyd, J. W.
TI  - Foundations of logic programming
T2  - Symbolic computation
SN  - 3540132996
U1  - 001.642 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
ER  -