MCQ
Q.
Which rule is equal to the resolution rule of first-order clauses?
Correct Answer: A