International Conference on Rewriting Techniques and Applications (5th 1993 Montreal, Canada)