Bulitko, V. V., and V. K. Bulitko. 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.