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