"Partial Instantiation Methods for Inference in First-Order Logic."

John N. Hooker et al. (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics