%0 Journal Article %1 journals/corr/HetzlW13 %A Hetzl, Stefan %A Weller, Daniel %D 2013 %J CoRR %K dblp %T Expansion Trees with Cut. %U http://dblp.uni-trier.de/db/journals/corr/corr1308.html#HetzlW13 %V abs/1308.0428

@article{journals/corr/HetzlW13, added-at = {2018-08-13T00:00:00.000+0200}, author = {Hetzl, Stefan and Weller, Daniel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/251e0f3d97db4882245eff9f7b0d77acc/dblp}, ee = {http://arxiv.org/abs/1308.0428}, interhash = {f3371bbb0163fe5288e636131a103987}, intrahash = {51e0f3d97db4882245eff9f7b0d77acc}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:04:07.000+0200}, title = {Expansion Trees with Cut.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1308.html#HetzlW13}, volume = {abs/1308.0428}, year = 2013 }