Overview of a Theorem-Prover for A Computational Logic

R. Boyer,J. S. Moore
DOI: https://doi.org/10.1007/3-540-16780-3_133
1986-07-27
Abstract:
What problem does this paper attempt to address?