Reducing signed propositional formulas | Publicación