Partial Instantiation Methods for Inference in First-Order Logic. - John N. Hooker; G. Rago; V. Chandru; A. Shrivastava (J. Autom. Reason., 2002)