Kulik, B. et al. 2013. Algebraic Approach to Logical Inference Implementation. Computing and Informatics. 31, 6 (Jan. 2013), 1295–1328.