A feasibly constructive lower bound for resolution proofs
scientific article; zbMATH DE number 4151830