2. "LEAF: A Language which Integrates Logic, Equations and

Functions", R. Barbuti et al in Logic Programming, Functions

Relations and Equations, D. DeGroot et al eds, P-H 1986,

pp.201-238.