"Minimal sets on propositional formulae. Problems and reductions."

João Marques-Silva, Mikolás Janota, Carlos Mencía (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics