Propositional theories are strongly equivalent to logic programs | Publicación