Contents of the Proceedings of the
8th International Conference on Rewriting Techniques and Applications.
Sitges, Spain, June 2-5, 1997.
Lecture Notes in Computer Science, Vol. 1232, Springer Verlag.

Editor: Hubert Comon.

Invited Talk Theorem Proving and Rewriting String Rewriting Rewriting in Algebraic Theories Termination Confluence and Termination Invited Talk Logic and Rewriting Unification and Constraint Solving Higher-Order Rewriting System Descriptions