BulitkoV. V.; BulitkoV. K. On a criterion of $NP$-completeness. Ukrains’kyi Matematychnyi Zhurnal, v. 50, n. 12, p. 1686–1691, 25 Dec. 1998.