1. [1] Anisov (S.).— Cut loci in lens manifolds. C. R. Math. Acad. Sci. Paris 342, no. 8, p. 595-600 (2006).
2. [2] Aschenbrenner (M.), Friedl (S.) and Wilton (H.).— Decision problems for 3-manifolds and their fundamental groups, arXiv:1405.6274 (2014).
3. [3] Burton (B. A.), Budney (R.), Pettersson (W.) et al.— Regina: Software for 3-manifold topology and normal surface theory, http://regina.sourceforge.net/, (1999-2012).
4. [4] Culler (M.), Dunfield (N. M.), and Weeks (J. R.).— SnapPy, a computer program for studying the geometry and topology of 3-manifolds, http://snappy.computop.org/.
5. [5] Dyson (V. H.).— The word problem and residually finite groups, Notices Amer. Math. Soc. 11, p. 734 (1964).