TY  - BOOK
AU  - j w loyd
TI  - foundations of logic programming
SN  - 3-540-13299-6
U1  - 004.85 
PY  - 1984///
CY  - 
PB  - Springer-Verlag
ER  -