%0 Journal Article %1 journals/corr/abs-0902-0043 %A Benzmüller, Christoph %A Brown, Chad E. %A Kohlhase, Michael %D 2009 %J Logical Methods in Computer Science %K dblp %N 1 %T Cut-Simulation and Impredicativity %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0902-0043 %V 5

@article{journals/corr/abs-0902-0043, added-at = {2018-08-13T00:00:00.000+0200}, author = {Benzmüller, Christoph and Brown, Chad E. and Kohlhase, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27ab6069a775a49c5f1ca09cf1c49cb73/dblp}, ee = {http://arxiv.org/abs/0902.0043}, interhash = {d211c3ae4ec01dce7dfc199870c92754}, intrahash = {7ab6069a775a49c5f1ca09cf1c49cb73}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-09-27T09:36:21.000+0200}, title = {Cut-Simulation and Impredicativity}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0902-0043}, volume = 5, year = 2009 }