Optimal proof systems imply complete sets for promise classes (0)

by J Köbler, J Messner, J Torán
Venue:Information and Computation