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