Rewriting, solving, proving. A preliminary version of a book is available at www.loria.fr/~ckirchne/=rsp/rsp.pdf (1999)

by C Kirchner, H Kirchner