Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Nipkow, Tobias; Nipkow, Tobias (Springer Berlin Heidelberg : Imprint: Springer, 1998)