1. Jürgen Avenhaus and Klaus Madlener. Term rewriting and equational reasoning. In R. B. Banerji, editor, Formal Techniques in Artificial Intelligence: A Sourcebook, pages 1–41. Elsevier, Amsterdam, 1990.
2. Leo Bachmair and Nachum Dershowitz. Commutation, transformation, and termination. In J. H. Siekmann, editor, Proceedings of the Eighth International Conference on Automated Deduction (Oxford, England), volume 230 of Lecture Notes in Computer Science, pages 5–20, Berlin, July 1986. Springer-Verlag.
3. FranÇois Bellegarde and Pierre Lescanne. Termination by completion. Applicable Algebra in Engineering, Communication and Computing, 1990.
4. Rapport 3045;M. Bidoit,1981
5. J. M. Cadiou. Recursive Definitions of Partial Functions and their Computations. PhD thesis, Stanford University, Stanford, CA, March 1972.