1. Decision problems for 3-manifolds and their fundamental groups;Aschenbrenner;Geom. Topol. Monogr.,2015
2. Valentin Poénaru’s program for the Poincaré conjecture;Gabai,1995
3. D. Groves, J.F. Manning, H. Wilton, Recognizing geometric 3-manifold groups using the word problem, preprint 2012, arXiv:1210.2101 [math.GR].
4. Algorithms for recognizing knots and 3-manifolds;Hass;Chaos Solitons Fractals,1998
5. Introduction to Automata Theory, Languages, and Computation;Hopcroft,1979