Григорьев, В.Д. 2015. Eefficiency Comparison of Iimplementations of Inference Algorithm for Sequent Propositional Calculus in Refal-5 and Haskell. Computer Tools in Education. 6 (Dec. 2015), 19-33.