DenisovA. S. “Satisfiability of Bright Formulas”. Ukrains’kyi Matematychnyi Zhurnal 59, no. 10 (October 25, 2007): 1432–1435. Accessed July 27, 2024. https://umj.imath.kiev.ua/index.php/umj/article/view/3401.