Kosovskiy, N. K., & Kosovskaya, T. M. (2014). Belonging to the class P of the satisfability problem for a propositional formula with a given value of its bracket characteristic. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 1(2), 192–195. Retrieved from https://math-mech-astr-journal.spbu.ru/article/view/11042