Constraint satisfaction problems in clausal form II: Minimal unsatisfiability and conflict structure. - Oliver Kullmann (Fundamenta Informaticae, 2011)