On the complexity of Temporal Equilibrium Logic | Publicación