A Normal Form for Linear Temporal Equilibrium Logic | Publicación