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