An infinitary encoding of temporal equilibrium logic | Publicación