М.В. Сапир (1987)

Matematiceskij sbornik

Ю.В. Матиясевич (1974)

Zapiski naucnych seminarov Leningradskogo

В.П. Оревков (1988)

Zapiski naucnych seminarov Leningradskogo

В.Д. Соловьев (1983)

Verojatnostnye metody i kibernetika

А.С. Морозов (1989)

Sibirskij matematiceskij zurnal

Е.Р. Байсалов (1990)

Sibirskij matematiceskij zurnal

Е.П. Байсалов (1990)

Algebra i Logika

А.С. Морозов (1983)

Algebra i Logika

Osvald Demuth (1970)

Commentationes Mathematicae Universitatis Carolinae

Р.И. Фрейдзон (1974)

Zapiski naucnych seminarov Leningradskogo

Л.В. Шабунин (2001)

Algebra i Logika

A.A. Бабаев, С.В. Соловьев (1979)

Zapiski naucnych seminarov Leningradskogo

Л.Л. Максимова (1977)

Algebra i Logika

И.И. Макаров (1979)

Verojatnostnye metody i kibernetika

Г.Е. Минц (1973)

Zapiski naucnych seminarov Leningradskogo

А.Г. Иванов (1979)

Zapiski naucnych seminarov Leningradskogo

В.А. Любецкий, V. A. Ljubeckij, V. A. Lǔbeckij, V. A. Ljubeckij (1997)

Algebra i Logika

А.Г. Пинус (1976)

Sibirskij matematiceskij zurnal

М.Г. Перетятькин (1980)

Algebra i Logika

Ю.Л. Ершов (1973)

Algebra i Logika