Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper) | Publicación