1. А.Г.Мясников, В.Н.Ремесленников. Степенные группы I: Основания теории и тензорные пополнения. СМЖ, 1994,т.35,N5, 1106-1108 c.
2. V.Remeslennikov. $-free groups and groups with a length function. In Cont. Math.,1995
3. В.Я.Беляев, Е.Е.Лютикова, В.Н.Ремесленников. Конечно порожденные алгебраические системы, категоричные в НF-логиге. Алгебра и логика, 1995, т.34, N1, 12-32 c.
4. М.Г.Амаглобели, В.Н.Ремесленников. Группы, точные при тензорном пополнении. Третья международная конференция по алгебре. Сб.трудов, г.Красноярск, 1993,август, р. 11-12.
5. A.Myasnikov, V.Remeslennikov. Exponential groups 2:extension of centralizers and tensor completion of CSA- groups. Intern.Journal of Algebra and Computation, 1996, p.35.
6. В.Я.Беляев, Д.А.Печкин, В.Н.Ремесленников. Комплекс программ по математической логике. Материалы Международной научно-методической конференции, Новосибирск, 1996, с. 37-39.
7. A.M.Gaglione, A.Myasnikov, V.Remeslennikov, D.Spellman. Formal Power Series Representations of Free Exponential Groups. Communications in Algebra, 25(2), 1997, 631-648 pp.
8. А.Г.Мясников, В.Н.Ремесленников. Степенные группы 1. Препринт N8, ИИТПМ СО РАН, ОмГУ, Омск, 1993, 25с.
9. A.Myasnikov, V.Remeslennikov. Exponential Groups 1: Foundations of the theory and tensor competion. Preprint N9, ИИТПМ,ОмГУ СО РАН, Омск, 1993, 25 p.
10. М.Г.Амаглобели, В.Н.Ремесленников. Степенные группы П: группы, точные при тензорном пополнении. Препринт N11 ИИТПМ СО РАН ОмГУ, Омск, 1993, 20 c.
11. A.Myasnikov, V.Remeslennikov. Groups with free length functions. The city college of New York. 1994(Preprint), 7 p.
12. A.Myasnikov, V.Remeslennikov. Exponential groups. The city college of New York, 1994 (Preprint), 17 p.
13. A.Myasnikov, V.Remeslennikov. Exponential Groups: iterated tree extensions of centralizers. Preprint N16, Omsk, 1994, 36 p.
14. O.Kharlampovich, A.Myasnikov, V.Remeslennikov. Logical languages and axioms for groups with a lengnh function. Preprint N20, Omsk, 1995, 8 p.
15. Н.Г.Гороховская, В.Н.Ремесленников. О понятии "быть свободной алгеброй" в HF-логике. Препринт N23, Омск, 1995, 21с.
16. М.Г.Амаглобели, В.Н.Ремесленников.Нильпотентные А-группы ступени 2. Препринт N 16, НИИ МИОО, Новосибирск, 1996, 19 с.
17. A.Myasnikov, V.Remeslennikov. Length functions on free exponential groups. Preprint N 26 IITPM SO RAN, Omsk, 1996, 34c.
18. A.Myasnikov, V.Remeslennikov. Exponential groups. Preprint N 27 IITPM SO RAN, Omsk, 1996, 18 p.
19. А.В.Макаров, В.Н.Ремесленников. HF-теория вполне упорядоченных множеств. Тезисы конф. по мат.логике, Новосибирск,1994, 2 с.
20. Н.Г.Гороховская, В.Н.Ремесленников. О понятии "быть свободной алгеброй". Тезисы конф.по мат.логике, Новосибирск, 1994, 2 с.
21. М.Г.Амаглобели, В.Н.Ремесленников. Алгоритмические проблемы для степенных групп. Тезисы конф.по мат.логике Новосибирск,1994, 1с.
22. A.Myasnikov, V.Remeslennikov. Length functions on free exponential groups. Группы в анализе и геометрии. Тезисы докладов конф-ии, Омск, 1995, 3 c.
23. G.Baumslag, A.Myasnikov, V.Remeslennikov. Approximation theorems for exponential groups. Тезисы докладов на Междунар. Конгрессе по инд. математике, Новосибирск, 1996.

G.Baumslag, A.Myasnikov, V.Remeslennikov.
Discriminating completions of hyperbolic groups.

G.Baumslag, A.Myasnikov, V.Remeslennikov.
Algebraic geometry over groups.

G.Baumslag, A.Myasnikov, V.Remeslennikov.
Automatic one-relator groups: Semisplittable case.

G.Baumslag, A.Myasnikov, V.Remeslennikov.
Dimension of algebraic varieties over groups.