Cut-Admissibility as a Corollary of the Subformula Property.

Ori Lahav, Yoni Zohar

Browse the full TABLEAUX paper archive.