On the Complexity of the Parity Argument and Other Inecient Proofs of Existence (1994)

by C H Papadimitriou
Venue:Journal of Computer and System Sciences