Косовский, Николай Кириллович, и др. «Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых дизсравнений». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, т. 3, вып. 1, октябрь 2020 г., с. 1, doi:10.21638/11701/spbu01.2016.104.