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

Relevance sensitive belief structures

Annals of Mathematics and Artificial Intelligence

Monotone Proofs of the Pigeon Hole Principle

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming

A combinatorial characterization of resolution width

Journal of Computer and System Sciences

Lower bounds for bounded depth Frege proofs via Pudlák-Buss games

ACM Transactions on Computational Logic (TOCL)

A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover-Delayer games

Information Processing Letters