Cut-Formulas in Propositional Logic

Wenhui Zhang. Cut-Formulas in Propositional Logic. Theoretical Computer Science, 120(1):157-168, 1993.

Abstract

Abstract is missing.