DenisovA. S. (2007). Satisfiability of bright formulas. Ukrains’kyi Matematychnyi Zhurnal, 59(10), 1432–1435. Retrieved from https://umj.imath.kiev.ua/index.php/umj/article/view/3401