Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

Publication
In Automated Technology for Verification and Analysis - 16th International Symposium