17 Mar 2005
CS 3243 - Logical Inference
39
Inference in first-order logic
Chapter 9