Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the ocassion of his 60th birthday - Comon, Hubert, 1957-; Kirchner, Claude; Kirchner, Héléne (Springer, 2007)