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