Term Rewriting and Applications - Franz Baader - E-bok | Bokus