Author: International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)