Preferred extensions as stable models | Publicación