
624
Lassez,
Maber,
and
Marriott
References
1. Chang, C. L. and Lee, R. [1973] Symbolic Logic and Mechanical Theorem
Proving, Academic Press, New York.
2.
Colmerauer, A. [1984] Equations and Inequations on Finite and Infinite Trees,
FGCS'84 Proceedings, 85-99.
3.
Eder, E. [1985] Properties of Substitutions and Unifications, Journal of Symbolic
Computation 1, 31-46.
4.
Herbrand, J. [1930] Recherches sur la Theorie de la Demonstration (these),
Universite de Paris. (In: Ecrits logiques de Jacques Herbrand, Paris, PUF, 1968.)
5.
Huet, G. [1976] Resolution d'Equations Dans Des Langages D'Ordre 1, 2, ..., ω
(these d'etat), Universite de Paris VII