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