Rewriting techniques and applications : 19th International Conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings - Baader, Franz, 1959- (Lecture notes in computer science ;, 2008)