David A. Plaisted Richard C. Potter Term Rewriting: Some Experimental Results. 149-180 1991 11 J. Symb. Comput. 1/2 db/journals/jsc/jsc11.html#PlaistedP91