1
Charles F Miller. Decision Problems for Groups — Survey and Reflections. 1992.
2
L A Bokut. Gröbner–Shirshov basis for the Braid group in the Birman–Ko–Lee generators. 2009.
3
Bokut L A, Kang S, Lee K, et al. Gr\\\
4
Bokut L A, Chen Y, Zhao X, et al. Groebner-Shirshov bases for free inverse semigroups[J]. International Journal of Algebra and Computation, 2008, 19(02): 129-143.
5
Miller C F. Decision Problems in Algebraic Classes of Groups (A Survey)[C]., 1973: 507-523.
6
Donald J Collins. Conjugacy and the Higman Embedding Theorem. 1980.
7
Daniel E Cohen. Degree Problems for Modular Machines. 1980.
8
Bokut L A, Kukin G P. Unsolvable algorithmic problems for semigroups, groups, and rings[J]. Journal of Mathematical Sciences, 1989, 45(1): 871-911.
9
Lockhart J M. Markov-type properties[J]. Proceedings of the American Mathematical Society, 1982, 85(3): 305-309.
10
L A Bokut · Yuqun Chen · Xiangui Zhao. Groebner-Shirshov besis for a free inverse semigroup. 2008.