Labelled natural deduction for substructural logics - Broda, Krysia; Finger, Marcelo; Russo, Alessandra (Logic Journal of the IGPL, 1999)