DenisovA. S., “Satisfiability of bright formulas”, Ukr. Mat. Zhurn., vol. 59, no. 10, pp. 1432–1435, Oct. 2007.