Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Tobias Nipkow ((Lecture Notes in Computer Science))