М. Р. Старчак, «Доказательство теоремы Бельтюкова - Липшица квазиэлиминацией кванторов. II. Основное сведение», Математика, т. 8, вып. 4, сс. 608–619, янв. 2022.