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