Denisov, A. S. (2007) “Satisfiability of bright formulas”, Ukrains’kyi Matematychnyi Zhurnal, 59(10), pp. 1432–1435. Available at: https://umj.imath.kiev.ua/index.php/umj/article/view/3401 (Accessed: 26April2024).