Косовский, Н. К.; Косовская, Т. М.; Косовский, Н. Н. Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых сравнений и уравнений. Математика 2020, 3, 1.