Olaf Beyersdorff, Johannes Köbler, Sebastian Müller. Proof Systems that Take Advice. Electronic Colloquium on Computational Complexity (ECCC), 16:92, 2009. [doi]
@article{BeyersdorffKM09-1,
title = {Proof Systems that Take Advice},
author = {Olaf Beyersdorff and Johannes Köbler and Sebastian Müller},
year = {2009},
url = {http://eccc.hpi-web.de/report/2009/092},
researchr = {https://researchr.org/publication/BeyersdorffKM09-1},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {16},
pages = {92},
}