@article{article4608851e,
title   = {Labelled natural deduction for substructural logics},
author = {Broda, Krysia and Finger, Marcelo and Russo, Alessandra},
year = {1999},
doi = {10.1093/jigpal/7.3.283},
journal   = {Logic Journal of the IGPL}
}