Term Rewriting and Applications - International Conference on Rewriting Techniques and Applications; Giesl, Jürgen; Kanade, Takeo; Kittler, Josef (Springer Berlin / Heidelberg, 2005)