9783540662013

Rewriting Techniques and Applications: 10th International Conference, RTA’99, Trento, Italy, July 2-4, 1999, Proceedings (Lecture Notes in Computer Science, 1631)