1. R. Barbuti, M. Bellia, G. Levi and M. Martelli, LEAF: A language which integrates logic, equations and functions. In Logic Programming: Functions, Relations and Equations, D. DeGrott and G. Lindstrom, Eds. (Prentice-Hall, 1985), 201–238.
2. D. Bert, personal communication.
3. P.G. Bosco and E. Giovannetti, IDEAL: an Ideal DEductive Applicative Language. Proc. 1986 Symp. on Logic Programming (IEEE Comp. Society Press, 1986), 89–94.
4. D. Brand, Proving theorems with the modification method. SIAM J. Comput. 4 (1975), 412–430.
5. P.T. Cox and T. Pietrzykowski, Surface deduction: a uniform mechanism for Logic Programming. Proc. 1985 Symp. on Logic Programming (IEEE Comp. Society Press, 1985), 220–227.