Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур М.А. Тайцлин; M.A. Tajclin; M.A. Tajclin; M.A. Taiclin — 1962 Algebra i Logika
Об элементарных теориях свободных нильпотентных алгебр М.А. Тайцлин; M.A. Tajclin; M.A. Tajclin; M.A. Tajtslin; M.A. Taiclin — 1964 Algebra i Logika
Разрешимость некоторых элементарных теорий М.А. Тайцлин; M.A. Tajclin; M.A. Tajclin; M.A. Taiclin; M.A. Tajchlin — 1964 Algebra i Logika