Григорьев В. Д. Cравнение эффективности реализаций алгоритма поиска вывода в секвенциальном исчислении высказываний на языках рефал-5 и Haskell. // Компьютерные инструменты в образовании. Санкт-Петербург, Россия, 2015. № 6. сс. 19-33.