J�rgen Giesl Term Rewriting and Applications - 2005 ISBN: 978-3-540-32033-3 Subjects--Topical Terms: Logics and Meanings of ProgramsMathematical Logic and Formal LanguagesSymbolic and Algebraic Manipulation Programming Languages, Compilers, InterpretersComputer Science