Kosovskii, Nikolay K., et al. “NP-Completeness Conditions for Some Types of Systems of Linear Diophantine Comparisons and Equations Consistency Checking”. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, vol. 3, no. 2, Oct. 2020, p. 1, doi:10.21638/11701/spbu01.2016.202.