Author: International Conference on Rewriting Techniques and Applications (16th 2005 Nara-shi, Japan)