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