A. S. Denisov, “Satisfiability of bright formulas”, Ukr. Mat. Zhurn., vol. 59, no. 10, pp. 1432–1435, Oct. 2007, Accessed: Apr. 09, 2025. [Online]. Available: https://umj.imath.kiev.ua/index.php/umj/article/view/3401