Chris Pollett Norman Danner Circuit Principles and Weak Pigeonhole Variants. 31-40 2005 conf/cats/2005 CATS http://crpit.com/confpapers/CRPITV41Pollett.pdf db/conf/cats/cats2005.html#PollettD05