The Rewriting Approach to Satisfiability Procedures