Суворов, В. «Геометрическая интерпретация пропозициональных формул». Вычислительные методы и программирование, т. 4, вып. 4, декабрь 2003 г., сс. 28-33, https://num-meth.ru/index.php/journal/article/view/111.