1. Model Theory;Chang,1990
2. Finiteness conditions for soluble groups;Hall;Proc. Lond. Math. Soc. (3),1954
3. Bi-interprétabilité et structures QFA: Étude de groupes résolubles et des anneaux commutatifs;Khélif;C. R. Math. Acad. Sci. Paris,2007
4. Sur les groupes de type fini: Primalité, axiomatisabilité quasi finie et bi-interprétabilité avec lʼarithmétique;Lasserre,2011
5. Separating classes of groups by first-order sentences;Nies;Internat. J. Algebra Comput.,2003