Gentzenization and decidability of some contraction-less relevant logics

@article{Brady1991GentzenizationAD,
  title={Gentzenization and decidability of some contraction-less relevant logics},
  author={Ross T. Brady},
  journal={J. Philosophical Logic},
  year={1991},
  volume={20},
  pages={97-117}
}