В. Д. Григорьев, «Cравнение эффективности реализаций алгоритма поиска вывода в секвенциальном исчислении высказываний на языках рефал-5 и Haskell.», CTE, вып. 6, сс. 19-33, дек. 2015.