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