Старчак, М. Р. Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма. Математика 2021, 8, 455-466.