Which procedure is used as key element in a backward chaining algorithm?

• A. Matching
• B. Unification matching
• C. Verification
• D. None of the mentioned