3 Mar 2004
CS3243 - Inference
1
Inference in first-order logic
Chapter 9
