William McCune, Lawrence J. Henschen. Experiments with Semantic Paramodulation. Journal of Automated Reasoning, 1(3):231-261, 1985.
@article{McCuneH85,
title = {Experiments with Semantic Paramodulation},
author = {William McCune and Lawrence J. Henschen},
year = {1985},
researchr = {https://researchr.org/publication/McCuneH85},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {1},
number = {3},
pages = {231-261},
}