Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings - Narendran, Paliath; Narendran, Paliath; Rusinowitch, Michael; Rusinowitch, Michael (Springer Berlin Heidelberg : Imprint: Springer, 1999)