TY  - BOOK
AU  - Degroot, Doug
AU  - Lindstrom, Gary
TI  - Logic Programming : Functions, Relations and Equations
SN  - 0135399580
PY  - 1986///
CY  - New Jersey
PB  - Prentice-Hall
ER  -