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 1, no. 2 (May 1, 2014): 192–195. Accessed May 19, 2024. https://math-mech-astr-journal.spbu.ru/article/view/11042.