Which makes the complexity of the entire algorithm quadratic in the size?
(a) Clause
(b) Inference
(c) Resolution
(d) Occur check
This question was addressed to me in an interview for internship.
Origin of the question is Unification and Lifting in section Knowledge and Reasoning of Artificial Intelligence