Semantische Beweisführung der verallgemeinerten Schnittbeseitigung für Deep Inference

Jeder in MAV beweisbare Struktur hat auch einen normalen Beweis.