Starchak, Mikhail R. “A Proof of Bel’tyukov-Lipshitz Theorem by Quasi-Quantifier Elimination. I. Definitions and GCD-Lemma”. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, vol. 8, no. 3, Sept. 2021, pp. 455-66, doi:10.21638/spbu01.2021.307.