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