Labelled natural deduction for substructural logics (1999)

by K Broda, M Finger, A Russo
Venue:Logic Journal of the IGPL