Косовский, Н. К.; Косовская, Т. М. Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики. Математика 2014, 1, 192-195.