Contraction-free sequent calculi for intuitionistic logic (1992)

by R Dyckho
Venue:Journal of Symbolic Logic