Kosovskii, Nikolai K., et al. “NP-Completeness Conditions for Some Types of Systems of Linear Diophantine Dis-Equations Consistency Checking”. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, vol. 3, no. 3, Aug. 2020, pp. 408-14, https://math-mech-astr-journal.spbu.ru/article/view/8686.