Rewriting, solving, proving. A preliminary version of a book available at www. loria. fr/ckirchne/rsp. ps. gz (1999)

by C Kirchner, H Kirchner