Rewriting, Computation and Proof - Comon-Lundh, Hubert; Kanade, Takeo; Kirchner, Claude; Kirchner, Hélène; Kittler, Josef (Springer Berlin Heidelberg, 2007)