TY  - BOOK
AU  - Clerk K L
AU  - Tarnlund S A
TI  - Logic programming
SN  - 0-12-175520-7
U1  - 005.115 
PY  - 1982///
CY  - London
PB  - Academic Press
KW  - Computer science
KW  - Logic programming
ER  -