Term Rewriting in Contemporary Resolution Theorem Proving (Abstract)