Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday - Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner ((Lecture Notes in Computer Science))