Rewriting techniques and applications proceedings (Springer, 1985)
Urh. anfangs: International Conference on Rewriting Techniques and Applications