John N. Hooker, G. Rago, V. Chandru, A. Shrivastava. Partial Instantiation Methods for Inference in First-Order Logic. Journal of Automated Reasoning, 28(5):371-396, 2002.
@article{HookerRCS02,
title = {Partial Instantiation Methods for Inference in First-Order Logic},
author = {John N. Hooker and G. Rago and V. Chandru and A. Shrivastava},
year = {2002},
tags = {logic},
researchr = {https://researchr.org/publication/HookerRCS02},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {28},
number = {5},
pages = {371-396},
}