On the length of proofs in formal systems
scientific article; zbMATH DE number 3775523