Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Jürgen Giesl Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings 3467 2005 3-540-25596-6 RTA Lecture Notes in Computer Science Springer db/conf/rta/rta2005.html