SETHO: A high-performance theorem prover (1992)

by Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
Venue:In Journal of Automated Reasoning