3 Mar 2004
CS3243 - Inference
42
Resolution proof: definite clauses