%0 Journal Article %1 journals/corr/HetzlLRW14 %A Hetzl, Stefan %A Leitsch, Alexander %A Reis, Giselle %A Weller, Daniel %D 2014 %J CoRR %K dblp %T Algorithmic Introduction of Quantified Cuts. %U http://dblp.uni-trier.de/db/journals/corr/corr1401.html#HetzlLRW14 %V abs/1401.4330

@article{journals/corr/HetzlLRW14, added-at = {2018-08-13T00:00:00.000+0200}, author = {Hetzl, Stefan and Leitsch, Alexander and Reis, Giselle and Weller, Daniel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a057c5a241d003eb27ec97bbc35f37d3/dblp}, ee = {http://arxiv.org/abs/1401.4330}, interhash = {c9bf5783eb89f2b71854cfd848c71505}, intrahash = {a057c5a241d003eb27ec97bbc35f37d3}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:54:39.000+0200}, title = {Algorithmic Introduction of Quantified Cuts.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1401.html#HetzlLRW14}, volume = {abs/1401.4330}, year = 2014 }