1. Alexandre V. Borovik, Evgenii I. Khukhro, and Alexei G. Myasnikov, The Andrews-Curtis conjecture and black box groups, Internat. J. Algebra Comput. 13 (2003), no. 4, 415–436.[MR]