Logic, Equations and Functions. An integration of {logic programming} and {functional programming} by H. Ait-Kaci et al of ref="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)