Суворов, В. 2003. Геометрическая интерпретация пропозициональных формул. Вычислительные методы и программирование. 4, 4 (дек. 2003), 28–33.