A denotational semantics for equilibrium logic | Publicación