@article{CMUC_2006_47_1_a14,
     author = {\v{S}vejdar, V{\'\i}t\v{e}zslav},
     title = {On sequent calculi for intuitionistic propositional logic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {159--173},
     year = {2006},
     volume = {47},
     number = {1},
     mrnumber = {2223976},
     zbl = {1138.03008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2006_47_1_a14/}
}