DenisovA.S. 2007. Satisfiability of bright formulas. Ukrains’kyi Matematychnyi Zhurnal. 59, 10 (Oct. 2007), 1432–1435.