TY  - BOOK
TI  - Logic programming: expanding the horizones 
SN  - 18715161503
U1  - 005.115 
PY  - 1991///
CY  - Oxford
PB  - Intellect
KW  - Logic programming
ER  -