Author: International Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.)