Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday - Comon-Lundh, Hubert; Kirchner, Claude; Kirchner, Hélène (Springer Berlin Heidelberg, 2007)