Kulik, B. et al. 2013. Algebraic Approach to Logical Inference Implementation. COMPUTING AND INFORMATICS. 31, 6 (Jan. 2013), 1295–1328.