Starchak, M. R. (2021) “A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. I. Definitions and GCD-lemma”, Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 8(3), pp. 455–466. doi: 10.21638/spbu01.2021.307.