Author: International Conference on Rewriting Techniques and Applications (18th 2007 Paris, France)