BulitkoV. V., and BulitkoV. K. “On a Criterion of $NP$-Completeness”. Ukrains’kyi Matematychnyi Zhurnal, Vol. 50, no. 12, Dec. 1998, pp. 1686–1691, https://umj.imath.kiev.ua/index.php/umj/article/view/4788.