Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings - Giesl, Jürgen (Springer Berlin Heidelberg, 2005)