Paul Beame, Toniann Pitassi. An Exponential Separation between the Matching Principle and the Pigeonhole Principle. In Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada. pages 308-319, IEEE Computer Society, 1993.