Logical foundations of well-founded semantics | Publicación