1. Algorithmic unsolvability of problems of recognition of certain properties of groups;Adyan Sergei I.;Dokl. Akad. Nauk SSSR (N.S.),1955
2. Convex Polyhedra
3. László Babai, Robert Beals, Jin-yi Cai, Gábor Ivanyos, and Eugene M. Luks. 1996. Multiplicative equations over commuting matrices. In Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. 498–507.
4. Subgroups of finitely presented metabelian groups
5. The algorithmic theory of finitely generated metabelian groups