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