TY  - BOOK
AU  -  Kelly, john j. 
TI  -  The essence of logic 
SN  - 0133963756
U1  - 005.131 KER 
CY  -  Prentice hall 
KW  -  Logic programming
ER  -