Parity Games and Propositional Proofs.

Arnold Beckmann, Pavel Pudlk, Neil Thapen

Browse the full MFCS paper archive.