DeGROOT(Doug) & LINDSTROM(Gary) <br/><br/>
"Logic programming functions, relations and equations" 

 - New Jersey  Prentice-Hall  1986 
 - vii p. + 533