Lower bounds for the weak pigeonhole principle and random formulas beyond resolution
scientific article; zbMATH DE number 1853275