A Transformational Semantics of Static Embedded Implications of Normal Logic Programs | Publicación