В. Д. Григорьев, “Eefficiency Comparison of Iimplementations of Inference Algorithm for Sequent Propositional Calculus in Refal-5 and Haskell.”, CTE, no. 6, pp. 19-33, Dec. 2015.