TY  - BOOK
AU  - DeGroot, Doug
AU  - Lindstrom, Gary
TI  - Logic programming : functions, relations, and equations
U1  - 001.642 
PY  - 1986///
CY  - Englewood Cliffs, New Jersey
PB  - Prentice-Hall
KW  - Electronic Digital Computers -- Programming
KW  - Logic, Symbolic And Mathematical
ER  -