TY  - BOOK
AU  - Doug DeGroot,Gary Lindstrm
TI  - Logic Programming:Functions,relations and equations
SN  - 0-13-539958-0
U1  - 004.891 
PY  - 0000///0
CY  - 
PB  - Prentice-Hall
ER  -