Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов Ю.В. Матиясевич (1976) Zapiski naucnych seminarov Leningradskogo
Распределение целых точек на детерминантной поверхности Е.В. Подсыпанин (1980) Zapiski naucnych seminarov Leningradskogo
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений Ю.В. Матиясевич (1974) Zapiski naucnych seminarov Leningradskogo
Универсальные теории целых чисел и расширенная гипотеза близнецов В.И. Беляков, В.И. Мартъянов (1983) Algebra i Logika