A lower bound on the size of resolution proofs of the Ramsey theorem
scientific article; zbMATH DE number 6059718