B. Kulik, A. Fridman, and A. Zuenko, “Algebraic Approach to Logical Inference Implementation”, Comput. Inform., vol. 31, no. 6, pp. 1295–1328, Jan. 2013.