Minimal sets on propositional formulae. Problems and reductions | Publicación