К теории вычислимых семейств объектов А.И. Мальцев, A.I. Mal'cev, A.I. Mal'cev, A.I. Maltsev, A.I. Malcev (1964) Algebra i Logika
Несколько замечаний о классах рекурсивно-перечислимых множеств. В.Л. Селиванов (1978) Sibirskij matematiceskij zurnal
Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности Ю.В. Матиясевич (1995) Zapiski naucnych seminarov POMI
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов Ю.В. Матиясевич (1976) Zapiski naucnych seminarov Leningradskogo