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