11th International Conference on Rewriting Techniques and Applications RTA'2000)