Suvorov, V. (2003) “Geometric interpretation of propositional formulas”, Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie), 4(4), pp. 28–33. Available at: https://en.num-meth.ru/index.php/journal/article/view/111 (Accessed: 20 April 2024).