%0 Journal Article %1 journals/jsyml/BaazH11 %A Baaz, Matthias %A Hetzl, Stefan %D 2011 %J J. Symb. Log. %K dblp %N 1 %P 313-340 %T On the non-confluence of cut-elimination. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml76.html#BaazH11 %V 76

@article{journals/jsyml/BaazH11, added-at = {2020-06-15T00:00:00.000+0200}, author = {Baaz, Matthias and Hetzl, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/28001310a90d319c356714dc47459ff07/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1294171002}, interhash = {7eaeb64177ab24bf77fcd1aca9cad989}, intrahash = {8001310a90d319c356714dc47459ff07}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {313-340}, timestamp = {2020-06-16T11:41:45.000+0200}, title = {On the non-confluence of cut-elimination.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml76.html#BaazH11}, volume = 76, year = 2011 }