Kulik, B., Fridman, A. and Zuenko, A. (2013) “Algebraic Approach to Logical Inference Implementation”, COMPUTING AND INFORMATICS, 31(6), pp. 1295–1328. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/1309 (Accessed: 2 May 2024).