RTA 1991: International Conference on Rewriting Techniques and Applications 1991