Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany