On the complexity of the parity argument and other inefficient proofs of existence
scientific article; zbMATH DE number 598086
scientific article