@inproceedings{FAS:HART:13,
 author    = {B. Felgenhauer and M. Avanzini and C. Sternagel},
 title     = {A Haskell Library for Term Rewriting},
 year      = {2013},
 booktitle = {1st Workshop on Haskell and Rewriting Techniques (HART)},
 keywords  = {workshop}
}