BulitkoV. V.; BulitkoV. K. On a Criterion of $NP$-Completeness. Ukr. Mat. Zhurn. 1998, 50, 1686–1691.