Reducing Propositional Theories in Equilibrium Logic to Logic Programs | Publicación