Goals in the Propositional Horn ⊃ Language Are Monotone Boolean Circuits | Publicación