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