КОСОВСКИЙ, Николай Кириллович; КОСОВСКАЯ, Татьяна Матвеевна. Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, [S. l.], v. 1, n. 2, p. 192–195, 2014. Disponível em: https://math-mech-astr-journal.spbu.ru/article/view/11042. Acesso em: 23 дек. 2024.