A lower bound for the pigeonhole principle in tree-like resolution by asymmetric prover-delayer games
scientific article; zbMATH DE number 6802678