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