Substitutions into propositional tautologies
scientific article; zbMATH DE number 5664752