Author: International Conference on Rewriting Techniques and Applications (5th 1993 Montreal, Que.)