How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus.

Pavel Pudlk, Samuel R. Buss

Browse the full CSL paper archive.