Semantics of structured normal logic programs | Publicación