"Proof Complexity and the Kneser-Lovász Theorem."

Gabriel Istrate, Adrian Craciun (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics