Temporal Equilibrium Logic with past operators | Publicación