What are used in backward chaining algorithm?

• A. Conjuncts
• B. Substitution
• C. Composition of substitution
• D. None of the mentioned