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