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