Старчак МР. Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма. Математика [Интернет]. 26 сентябрь 2021 г. [цитируется по 18 май 2024 г.];8(3):455-66. доступно на: https://math-mech-astr-journal.spbu.ru/article/view/11825