Simplifying Logic Programs Under Answer Set Semantics | Publicación