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

by C Papadimitriou
Venue:Journal of Computer and System Sciences