Term Rewriting: Some Experimental Results. - David A. Plaisted; Richard C. Potter (J. Symb. Comput., 1991)