A Strong Logic Programming View for Static Embedded Implications | Publicación