Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings - Jürgen Giesl ((Lecture Notes in Computer Science))