## Polynomial size proofs of the propositional pigeonhole principle (1987)

by
Samuel R. Buss

Venue: | Journal of Symbolic Logic |

Citations: | 71 - 7 self |