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