HARP: A tableau-based theorem prover

• 1 March 1988
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 4  (1)
• https://doi.org/10.1007/bf00244513

Abstract

Keywords

• ANALYTIC TABLEAUX
• PROOF CONDENSATION
• HEURISTICS
• HUMAN-LIKE THEOREM PROVING