Boris Kulik, Alexander Fridman, Alexander Zuenko. Algebraic Approach to Logical Inference Implementation. Computers and Artificial Intelligence, 31(6):1295-1328, 2012. [doi]
@article{KulikFZ12,
title = {Algebraic Approach to Logical Inference Implementation},
author = {Boris Kulik and Alexander Fridman and Alexander Zuenko},
year = {2012},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/1309},
researchr = {https://researchr.org/publication/KulikFZ12},
cites = {0},
citedby = {0},
journal = {Computers and Artificial Intelligence},
volume = {31},
number = {6},
pages = {1295-1328},
}