Старчак МР. Доказательство теоремы Бельтюкова - Липшица квазиэлиминацией кванторов. II. Основное сведение. Математика [Интернет]. 4 январь 2022 г. [цитируется по 19 май 2024 г.];8(4):608-19. доступно на: https://math-mech-astr-journal.spbu.ru/article/view/13938