Старчак, Михаил Романович. «Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия 8, no. 3 (сентябрь 26, 2021): 455–466. просмотрено май 18, 2024. https://math-mech-astr-journal.spbu.ru/article/view/11825.