Косовский , Николай Кириллович, Татьяна Матвеевна Косовская, и Николай Николаевич Косовский. 2020. «Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых дизуравнений». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия 3 (3):408-14. https://math-mech-astr-journal.spbu.ru/article/view/8686.