1
Lyndon R C. On Dehn\u0027s algorithm[J]. Mathematische Annalen, 1966, 166(3): 208-228.
2
Schupp P E. On Dehn\u0027s algorithm and the conjugacy problem[J]. Mathematische Annalen, 1968, 178(2): 119-130.
3
Lipschutz S. AN EXTENSION OF GREENDLINGER\u0027S RESULTS ON THE WORD PROBLEM[J]. Proceedings of the American Mathematical Society, 1964, 15(1): 37-43.
4
Schupp P E. A Survey of Small Cancellation Theory[C]., 1973: 569-589.
5
Bernhard Hermann Neumann · M Pavman Murthy. Lectures on Topics In The Theory of Infinite Groups. 1960.
6
Remeslennikov V N, Romankov V A. Model-theoretic and algorithmic questions in group theory[J]. Journal of Mathematical Sciences, 1985, 31(3): 2887-2939.
7
Chenadec P L. A Survey of Symmetrized and Complete Group Presentations[J]. Advances in Computers, 1993: 135-153.
8
Bencsath K, Fine B, Gaglione A M, et al. Aspects of the Theory of Free Groups[C]., 2000: 51-90.
9
Chenadec P L. A Survey of Symmetrized and Complete Group Presentations[J]. Advances in Computers, 1993: 135-153.