Term Rewriting And Applications: 17Th International Conference, Rta 2006 Seattle, Wa, Usa, August 12 14, 2006 Proceedings