Starchak, M. R. (2022). A proof of Bel’tyukov - Lipshitz theorem by quasi-quantifier elimination. II. The main reduction. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 8(4), 608–619. https://doi.org/10.21638/spbu01.2021.406