Diagnostic propositional formulas
scientific article; zbMATH DE number 20628