SETHEO: A High-Performance Theorem Prover

Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel. SETHEO: A High-Performance Theorem Prover. Journal of Automated Reasoning, 8(2):183-212, 1992.

Abstract

Abstract is missing.