Barbuti, R. et al "LEAF: A Language which Integrates Logic, Equations and Functions" pp.201-238.

(1986)

DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986  

Languages mentioned