Bogopolski, O., & Ventura, E. (2010). A recursive presentation for Mihailova's subgroup. Groups, Geometry, and Dynamics, 4(3), 407-417. doi:10.4171/GGD/88.