Косовский , Н.К. и др. 2020. Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых дизуравнений. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 3, 3 (авг. 2020), 408–414.