A Fixpoint Characterisation of Temporal Equilibrium Logic | Publicación