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