A Catalogue of Canonical Term Rewriting Systems.
Jean-Marie Hullot · 1980
It is attempted in this paper to put together some experimental results obtained by Knuth and Bendix, Lankford and Ballantyne, Peterson and Stickel, as well as to present some new results. It does not give a theoretical study of the methods used. Thus the reader is assumed to be familiar with the original Knuth and Bendix algorithm and its extensions.