BulitkoV.V. and BulitkoV.K. 1998. On a criterion of $NP$-completeness. Ukrains’kyi Matematychnyi Zhurnal. 50, 12 (Dec. 1998), 1686–1691.