Denisov, A. S. “Satisfiability of Bright Formulas”. Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, no. 10, Oct. 2007, pp. 1432–1435, https://umj.imath.kiev.ua/index.php/umj/article/view/3401.