Term Rewriting: Some Experimental Results.

Richard C. Potter, David A. Plaisted

Browse the full CADE paper archive.