Jieh Hsiang Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings RTA Lecture Notes in Computer Science 914 Springer 1995 3-540-59200-8 db/conf/rta/rta95.html