Franz Oppacher E. Suen HARP: A Tableau-Based Theorem Prover. 69-100 1988 4 J. Autom. Reasoning 1 db/journals/jar/jar4.html#OppacherS88