Uniform Equivalence for Equilibrium Logic and Logic Programs | Publicación