Heng Chu, David A. Plaisted. CLIN-S - A Semantically Guided First-Order Theorem Prover. Journal of Automated Reasoning, 18(2):183-188, 1997.
@article{ChuP97,
title = {CLIN-S - A Semantically Guided First-Order Theorem Prover},
author = {Heng Chu and David A. Plaisted},
year = {1997},
researchr = {https://researchr.org/publication/ChuP97},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {18},
number = {2},
pages = {183-188},
}