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