354067778X

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings (Lecture Notes in Computer Science, 1833)