Regular resolution lower bounds for the weak pigeonhole principle
scientific article; zbMATH DE number 6409730