HARP: A Tableau-Based Theorem Prover

Franz Oppacher, E. Suen. HARP: A Tableau-Based Theorem Prover. Journal of Automated Reasoning, 4(1):69-100, 1988.

Abstract

Abstract is missing.