Косовский, Николай Кириллович, и др. «NP-полные задачи о системах делимостей значений линейных выражений». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, т. 4, вып. 2, август 2020 г., сс. 236-4, https://math-mech-astr-journal.spbu.ru/article/view/8608.