TY - BOOK AU - DeGROOT(Doug) & LINDSTROM(Gary) TI - "Logic programming functions, relations and equations" CY - New Jersey ER -