REFERENCES
- Bumgain , I. , Kharlampovich , O. , Myasnikov , A. Isomorphism Problem for Finitely Generated Fully Residually Free groups progress .
- Delzant , T. , Potyagailo , L. ( 2001 ). Accesibilite hierarique des groups de presentation finis . Topology 40 : 617 – 629 .
- Fine , B. , Gaglione , A. , Myasnikov , A. , Rosenberger , G. , Spellman , D. A. ( 1998 ). Classification of fully residually free groups of rank three or less . J. Algebra 200 : 571 – 605 .
- Gaglione , A. , Spellman , D. ( 1993 ). Some model theory of free groups and free algebras . Houston J. Math 19 : 327 – 356 .
- Gilbert , N. D. (1987). Permutations of the automorphism group of a free product. Proc. London Math. Soc. (3) 54(1):115–140.
- Kharlamapovich , O. , Myasnikov , A. ( 1998 ). Irreducible affine varieties over a free group: I. Irreducibility of quadratic equations and Nullstellensatz . J. Algebra 200 : 472 – 516 .
- Kharlamapovich , O. , Myasnikov , A. ( 1998 ). Irreducible affine varieties over a free group: II. Systems in triangular quasi-quadratic form and a description of residually free groups . J. Algebra 200 : 517 – 569 .
- Kharlamapovich , O. , Myasnikov , A. ( 1999 ). Description of fully residually free groups and Irreducible affine varieties over free groups . Summer school in Group Theory in Banff , 1996, CRM Proceedings and Lecture notes 17 : 71 – 81 .
- Kharlamapovich , O. , Myasnikov , A. ( 2006 ). Elementary theory of free non-abelian groups . J. Alg. 302 : 451 – 552 .
- Kharlamapovich , O. , Myasnikov , A. , Remeslennikov , V. , Serbin , D. ( 2004 ). Subgroups of fully residually free groups: algorithmic problems . Cont. Math. 360 .
- Lyndon , R. C. , Schupp , P. E. ( 1977 ). Combinatorial Group Theory Springer-Verlag .
- Remeslennikov , V. N. ( 1989 ). ∃-free groups . Siberian Mat. J. 30 : 998 – 1001 .
- Rosenberger , G. ( 1976 ). Zum Isomorphieproblem für Gruppen mit einer definierenden Relation . Ill. J. Math. 20 : 614 – 621 .
- Sela , Z. ( 2006 ). Diophantine Geometry over Groups VI: The Elementary Theory of a Free Group . Geom. Funct. Anal. 16 ( 3 ): 707 – 730 .
- Gupta , C. K. , Shpilrain , V. ( 1993/1995 ). Lifting automorphisms: a survey. Groups ’93 Galway/St. Andrews, Vol. 1 (Galway, 1993), pp. 249–263, London Math. Soc. Lecture Note Ser. , Vol. 211 . Cambridge : Cambridge Univ. Press , 1995 .
- Zieschang , H. ( 1964 ). Automorphismen ebener discontinuerlicher Gruppen . Math. Ann. 166 : 148 – 167 .
- Fine , B. , Rosenberger , G. , Stille , M. ( 1995 ). Nielsen transformations and applications: a survey . In: Kim & Johnson , eds. Groups Korea ’94 . Walterde Gruyter , pp. 65 – 105 .
- Communicated by A. Olshanskii.