Ait-Kaci H. et al, "LeFun: Logic, Equations and Functions", Proc 1987 Symp on Logic Programming, San Francisco.

Languages mentioned

• LeFun {1987}