BulitkoV. V. and BulitkoV. K., “On a criterion of $NP$-completeness”, Ukr. Mat. Zhurn., vol. 50, no. 12, pp. 1686–1691, Dec. 1998.