The number of lines in Frege proofs with substitution
scientific article; zbMATH DE number 1156506