Григорьев, В.Д. (2015) “Eefficiency Comparison of Iimplementations of Inference Algorithm for Sequent Propositional Calculus in Refal-5 and Haskell”., Computer Tools in Education, (6), pp. 19–33. Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1448 (Accessed: 26 September 2026).