Uniform Derivation of Decision Procedures by Superposition