Manukian, S. N. . “Some Algebraical and Logical Properties of Two-Dimensional Arithmetical Sets Representable in Presburger’s System”. Mathematical Problems of Computer Science, vol. 37, Dec. 2021, pp. 64-74, http://mpcs.sci.am/index.php/mpcs/article/view/254.