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