Григорьев В. Д. Eefficiency Comparison of Iimplementations of Inference Algorithm for Sequent Propositional Calculus in Refal-5 and Haskell. // Computer Tools in Education. St. Petersburg, Russia, 2015. № 6. Pp. 19-33.