Hubert Comon-Lundh Claude Kirchner Hélène Kirchner Rewriting, Computation and Proof Lecture Notes in Computer Science 4600 Springer 2007 978-3-540-73146-7 db/conf/birthday/jouannaud2007.html