Logic, Equations and Functions. An intEgration of {logic programming} and {functional programming} by H. Ait-Kaci Et al of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=MCC">MCC, Austin TX. ["LEFun: Logic, Equations and Functions", H. Ait-Kaci Et al, Proc 1987 Symp on Logic Programming, San Francisco]. (1994-10-21)