String Reduction