Alternative Characterizations for Strong Equivalence of Logic Programs | Publicación