TY  - BOOK
AU  - DeGroot,  Doug
AU  -  Lindstrom,  Gary
TI  - Logic programming: functions, relations, and equations. 
U1  - 005.1 D363L R 
ER  -