"Finding all minimal unsatisfiable subsets."

Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics