On the Chvátal rank of the Pigeonhole Principle

Mark Rhodes. On the Chvátal rank of the Pigeonhole Principle. Theoretical Computer Science, 410(27-29):2774-2778, 2009. [doi]

Abstract

Abstract is missing.