DENISOV, A. S. Satisfiability of bright formulas. Ukrains’kyi Matematychnyi Zhurnal, [S. l.], v. 59, n. 10, p. 1432–1435, 2007. Disponível em: https://umj.imath.kiev.ua/index.php/umj/article/view/3401. Acesso em: 11 apr. 2025.