Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings - Pfenning, Frank (Springer Berlin Heidelberg, 2006)