Старчак, Михаил Романович. 2021. «Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия 8 (3):455-66. https://doi.org/10.21638/spbu01.2021.307.