Lean clause-sets: generalizations of minimally unsatisfiable clause-sets - Oliver Kullmann (Discrete Applied Mathematics, 2003)