Which rule is equal to resolution rule of first-order clauses?

• A. Propositional resolution rule
• B. Inference rule
• C. Resolution rule
• D. None of the mentioned