1. D. Calegari, Math. Soc. Japan Mem. 20 (2009).
2. D. Calegari, Algebr. Geom. Topol. 10, 215–217 (2010).
3. L. Comerford and C. Edmunds, Int. J. Algebra and Comput. 4, 469–480 (1994).
4. S. Jain, A. Myasnikov, and F. Stephan, 27th IEEE Symposium on Logic in Computer Science, LICS 2012, 25–28 June 2012, Dubrovnik, Croatia; IEEE Computer Society, 405–414 (2012).
5. S. Gersten, Topology 37, 1031–1072 (1998).