Reduction-based Techniques