Title: Inductive resolution
Subjects: Induction (Logic), Reasoning, Artificial intelligence