Denisov, A. S. Satisfiability of Bright Formulas. Ukr. Mat. Zhurn. 2007, 59 (10), 1432–1435.