The Cut Role in Theorem Proving

• Authors:

• Elmar Eder

• Affiliations:

• -

• Venue:
• Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
• Year:
• 2000