RTA 1985: International Conference on Rewriting Techniques and Applications 1985