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