Rewriting techniques and applications
International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)