Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings

JIEH HSIANG2020-05-042020-05-041995ISBN 3-540-59200-8https://scholars.lib.ntu.edu.tw/handle/123456789/488700Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedingsconference paper10.1007/3-540-59200-8https://doi.org/10.1007/3-540-59200-8