RTA 1987: International Conference on Rewriting Techniques and Applications 1987