Z. Sela, “Diophantine geometry over groups III: Rigid and solid solutions”, Isr J Math, 147:1 (2005), 1
Dietrich Kuske, Markus Lohrey, “Logical aspects of Cayley-graphs: the group case”, Annals of Pure and Applied Logic, 131:1-3 (2005), 263
Volker Diekert, Claudio Gutierrez, Christian Hagenah, “The existential theory of equations with rational constraints in free groups is PSPACE-complete”, Information and Computation, 202:2 (2005), 105
Anatole Khelif, “Finite approximation and commutators in free groups”, Journal of Algebra, 281:2 (2004), 407
Elena Petre, Lecture Notes in Computer Science, 3153, Mathematical Foundations of Computer Science 2004, 2004, 807
Katalin Bencsath, Benjamin Fine, Anthony M. Gaglione, Alexei G. Myasnikov, Frank Roehl, Gerhard Rosenberger, Dennis Spellman, Algorithmic Problems in Groups and Semigroups, 2000, 51
A KHELIF, “Le passage d'un groupe libre à sa complétion profinie: étude logique”, Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 326:3 (1998), 281
Antoni Kościelski, Leszek Pacholski, “Makanin's algorithm is not primitive recursive”, Theoretical Computer Science, 191:1-2 (1998), 145
O. Kharlampovich, A. Myasnikov, “Irreducible Affine Varieties over a Free Group”, Journal of Algebra, 200:2 (1998), 517
Olivier Chapuis, “∀-free metabelian groups”, J. symb. log, 62:01 (1997), 159