Kulik, B.; Fridman, A.; Zuenko, A. Algebraic Approach to Logical Inference Implementation. Comput. Inform. 2013, 31, 1295-1328.