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

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