Старчак, М. Р. (2021) «Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма», Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 8(3), сс. 455–466. doi: 10.21638/spbu01.2021.307.