%0 Journal Article
%T A Haskell Library for Term Rewriting
%A Bertram Felgenhauer
%A Martin Avanzini
%A Christian Sternagel
%J Computer Science
%D 2013
%I arXiv
%X We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by the increasing number of term rewriting tools that are written in Haskell.
%U http://arxiv.org/abs/1307.2328v1