Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings / - Giesl, Jürgen. (Springer, 2005)