%0 Journal Article %1 journals/iandc/BeyersdorffKM11 %A Beyersdorff, Olaf %A Köbler, Johannes %A Müller, Sebastian %D 2011 %J Inf. Comput. %K dblp %N 3 %P 320-332 %T Proof systems that take advice. %U http://dblp.uni-trier.de/db/journals/iandc/iandc209.html#BeyersdorffKM11 %V 209

@article{journals/iandc/BeyersdorffKM11, added-at = {2019-06-02T00:00:00.000+0200}, author = {Beyersdorff, Olaf and Köbler, Johannes and Müller, Sebastian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21b472566cf8298f50a2ea64eca9a2601/dblp}, ee = {https://www.wikidata.org/entity/Q59902997}, interhash = {b75ce621b8679e299ca3ba10354937bf}, intrahash = {1b472566cf8298f50a2ea64eca9a2601}, journal = {Inf. Comput.}, keywords = {dblp}, number = 3, pages = {320-332}, timestamp = {2019-09-27T11:52:09.000+0200}, title = {Proof systems that take advice.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc209.html#BeyersdorffKM11}, volume = 209, year = 2011 }