ГРИГОРЬЕВ, В. Д. Eefficiency Comparison of Iimplementations of Inference Algorithm for Sequent Propositional Calculus in Refal-5 and Haskell. Computer Tools in Education, n. 6, p. 19-33, 30 Dec. 2015.