- A. G. Myasnikov, V. N. Remeslennikov, “Admissible sets in group theory”, Algebr Logic, 31, № 4, 1992, 248
- V. Ya. Belyaev, E. E. Lyutikova, V. N. Remeslennikov, “Categoricity of finitely generated algebraic systems in HF-logic”, Algebr Logic, 34, № 1, 1995, 6