The Model Elimination Provers SETHEO and E-SETHEO (1997)

by M Moser, O Ibens, Reinhold Letz, J Steinbach, C Goller, Johann Schumann, K Mayr
Venue:Journal of Automated Reasoning