A Superposition Based Methodology to Design Satisfiability Decision Procedures