Rewriting, solving, proving. A preliminary version of a book available at http://www.loria.fr/~ckirchne/ rewriting.html (0)

by C Kirchner, H Kirchner