Denisov AS. Satisfiability of bright formulas. Ukr. Mat. Zhurn. [Internet]. 2007Oct.25 [cited 2024Nov.22];59(10):1432–1435. Available from: https://umj.imath.kiev.ua/index.php/umj/article/view/3401