TY  - BOOK
AU  - Lloyd, J.W.
TI  - Foundations of logic programming
SN  - 3540132996
CY  - Berlin
ER  -