Term Rewriting in CT-Sigma