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