References
- Bosma, W., Cannon, J., Playoust, C. (1997). The Magma algebra system. I. The user language. J. Symbolic Comput. 24(3–4):235–265 (Computational algebra and number theory (London, 1993)).
- Holobowski, W. (2016). Private Communication.
- Lubotzky, A. (2014). Images of word maps in finite simple groups. Glasg. Math. J. 56(2):465–469.
- Makanin, G. S. (1984). Decidability of the universal and positive theories of a free group. Izv. Akad. Nauk SSSR Ser. Mat. 48(4):735–749.
- McCune, W. (2005–2010). Prover9 and mace4. http://www.cs.unm.edu/mccune/prover9/.
- Merzljakov, J. I. (1966). Positive formulae on free groups. Algebra i Logika Sem. 5(4):25–42.
- Neumann, B. H. (1937). Identical relations in groups. I. Math. Ann. 114(1):506–525.
- Segal, D. (2009). Words: Notes on Verbal Width in Groups. London Mathematical Society Lecture Note Series, Vol. 361. Cambridge: Cambridge University Press.