TY  - BOOK
AU  - Burke, Edmund
AU  - Foxley, Eric
TI  - Logic and its applications
SN  - 0-13-030263-5
U1  -  511.3 
PY  - 1996///
CY  - London,UK
PB  - Prentice Hall
KW  - Logic programming
ER  -