Kosovskiy, Nikolay K., and Tatiana M. Kosovskaya. “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, vol. 1, no. 2, May 2014, pp. 192-5, https://math-mech-astr-journal.spbu.ru/article/view/11042.