Systematic Reductions to Single Terms