Simplifying Binary Propositional Theories into Connected Components Twice as Fast | Publicación