"Circuit principles and weak pigeonhole variants."

Chris Pollett, Norman Danner (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics