International Conference on Rewriting Techniques and Applications (4th 1991 Como, Italy)