B. Fine, et al. “The Tits Alternative for Short Generalized Tetrahedron Groups”. Scientia Series A: Mathematical Sciences, vol. 21, Jan. 2011, pp. 1-15, https://doi.org/10.71712/.