SETHEO: A High-Performace Theorem Prover (1992)

by R Letz, J Schumann, S Bayerl, W Bibel
Venue:Journal of Automated Reasoning