1. Aho, A.V., Sethi, R., Ullman, J.D.: Code optimization and finite Church–Rosser systems. In: Rustin, R. (ed.) Design and Optimization of Compilers, pp. 89–106. Prentice–Hall, Upper Saddle River (1972)
2. Number 146 in Studies in Logic and the Foundations of Mathematics;A. Arnold,2001
3. Barthelmann, K.: On equational simple graphs. Technical Report 9/97, Johannes Gutenberg Universität, Mainz (1998)
4. Lecture Notes in Computer Science;A. Blumensath,2002
5. Book, R.V.: Decidable sentences of Church–Rosser congruences. Theoretical Comput. Sci. 24, 301–312 (1983)