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