1. G. V. Kryazhovskikh and G. P. Kukin, ?On subrings of free rings,? Sib. Mat. Zh.,30, No. 6, 87?97 (1989).
2. I. A. Lavrov, ?Undecidability of elementary theories of some rings,? Algebra Logika,1, No. 3, 39?45 (1962).
3. V. A. Roman'kov, ?On the undecidability of the problem of endomorphic reducibility in free nilpotent groups and free rings,? Algebra Logika,16, No. 4, 457?471 (1977).
4. G. V. Kryazhovskikh, ?On approximability of finitely defined algebras,? Sib. Mat. Zh.,21, No. 5, 58?62 (1980).
5. E. Witt, ?Die unterringe der freien Lieschen ringe,? Math. Z.,64, 195?214 (1956).