Greg Restall. Normal Proofs, Cut Free Derivations and Structural Rules. Studia Logica, 102(6):1143-1166, 2014. [doi]
@article{Restall14,
title = {Normal Proofs, Cut Free Derivations and Structural Rules},
author = {Greg Restall},
year = {2014},
doi = {10.1007/s11225-014-9598-4},
url = {http://dx.doi.org/10.1007/s11225-014-9598-4},
researchr = {https://researchr.org/publication/Restall14},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {102},
number = {6},
pages = {1143-1166},
}