Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings - Nipkow, Tobias, 1958- (Lecture notes in computer science ;, 1998)