Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Frank Pfenning ((Lecture Notes in Computer Science))