A Characterization of Strong Equivalence for Logic Programs with Variables | Publicación