Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings - Treinen, Ralf (Springer Berlin Heidelberg : Imprint: Springer, 2009)