Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
scientific article; zbMATH DE number 1981509