Which makes the complexity of the entire algorithm quadratic in the size?

• A. Clause
• B. Inference
• C. Resolution
• D. Occur check