Hooker, JN and Rago, G and Chandru, V and Shrivastava, A (2002) Partial instantiation methods for inference in first-order logic. In: Journal of Automated Reasoning, 28 (4). pp. 371-396.