Which is a refutation complete inference procedure for propositional logic?

• A. Clauses
• B. Variables
• C. Propositional resolution
• D. Proposition