Complexity of sets obtained as values of propositional formulas
scientific article; zbMATH DE number 5132506