Kulik, B., Fridman, A. and Zuenko, A. (2013) “Algebraic Approach to Logical Inference Implementation”, Computing and Informatics, 31(6), pp. 1295–1328. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/1309 (Accessed: 23 November 2024).