Comon-Lundh H. Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner. // Springer e-books. URL: http://dx.doi.org/10.1007/978-3-540-73147-4