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