СТАРЧАК, Михаил Романович. Доказательство теоремы Бельтюкова - Липшица квазиэлиминацией кванторов. II. Основное сведение. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, [S. l.], v. 8, n. 4, p. 608–619, 2022. DOI: 10.21638/spbu01.2021.406. Disponível em: https://math-mech-astr-journal.spbu.ru/article/view/13938. Acesso em: 22 янв. 2025.