@inproceedings{FAS:HART:13,
 author    = "B. Felgenhauer and M. Avanzini and C. Sternagel",
 title     = {{A Haskell Library for Term Rewriting}},
 booktitle = "Proceedings of the \nth{1} Workshop on Haskell and Rewriting Techniques",
 year      = 2013,
}