On the compressibility of finite languages and formal proofs
scientific article; zbMATH DE number 6851687
scientific article