"On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets."

Oliver Kullmann, Xishun Zhao (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics