Косовский НК, Косовская ТМ. Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики. Математика [Интернет]. 1 май 2014 г. [цитируется по 19 май 2024 г.];1(2):192-5. доступно на: https://math-mech-astr-journal.spbu.ru/article/view/11042