Hugues Leblanc. Subformula Theorems for N-Sequents. Journal of Symbolic Logic, 33(2):161-179, 1968.
@article{LeBlanc68,
title = {Subformula Theorems for N-Sequents},
author = {Hugues Leblanc},
year = {1968},
researchr = {https://researchr.org/publication/LeBlanc68},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {33},
number = {2},
pages = {161-179},
}