On the Expressiveness of Temporal Equilibrium Logic | Publicación