%0 Journal Article %1 journals/aml/Hudelmaier92 %A Hudelmaier, Jörg %D 1992 %J Arch. Math. Log. %K dblp %N 5 %P 331-353 %T Bounds for cut elimination in intuitionistic propositional logic. %U http://dblp.uni-trier.de/db/journals/aml/aml31.html#Hudelmaier92 %V 31

@article{journals/aml/Hudelmaier92, added-at = {2016-12-03T00:00:00.000+0100}, author = {Hudelmaier, Jörg}, biburl = {https://www.bibsonomy.org/bibtex/29269a17837d2798d09c13f801a75356b/dblp}, ee = {http://dx.doi.org/10.1007/BF01627506}, interhash = {49431053b9e6a303f519c94b40d6b888}, intrahash = {9269a17837d2798d09c13f801a75356b}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 5, pages = {331-353}, timestamp = {2016-12-06T11:34:28.000+0100}, title = {Bounds for cut elimination in intuitionistic propositional logic.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml31.html#Hudelmaier92}, volume = 31, year = 1992 }