A parity-based Frege proof for the symmetric pigeonhole principle
scientific article; zbMATH DE number 537001