STARCHAK, Mikhail R. A proof of Bel’tyukov - Lipshitz theorem by quasi-quantifier elimination. II. The main reduction. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, [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: 19 may. 2024.