Старчак, Михаил Романович. «Доказательство теоремы Бельтюкова - Липшица квазиэлиминацией кванторов. II. Основное сведение». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия 8, no. 4 (январь 4, 2022): 608–619. просмотрено май 19, 2024. https://math-mech-astr-journal.spbu.ru/article/view/13938.