1. Y. Akama. On Mints' reductions for ccc-calculus. In Proceedings of the International Conference on Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science, pages 1–12, Berlin, 1993. Springer-Verlag.
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çoise Bellegarde and Pierre Lescanne. Termination by completion. Applied Algebra on Engineering, Communication and Computer Science, 1(2):79–96, 1990.
4. Rapport 3045;M. Bidoit,1981
5. Nachum Dershowitz. Termination of linear rewriting systems. In Proceedings of the Eighth International Colloquium on Automata, Languages and Programming (Acre, Israel), volume 115 of Lecture Notes in Computer Science, pages 448–458, Berlin, July 1981. European Association of Theoretical Computer Science, Springer-Verlag.