СТАРЧАК, Михаил Романович. Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, [S. l.], v. 8, n. 3, p. 455–466, 2021. DOI: 10.21638/spbu01.2021.307. Disponível em: https://math-mech-astr-journal.spbu.ru/article/view/11825. Acesso em: 18 май. 2024.