Rewriting techniques and applications 20th international conference, RTA 2009, Brasília, Brazil, June 29-July 1, 2009 ; proceedings (Springer, 2009)