"Nondeterministic Instance Complexity and Proof Systems with Advice."

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics