Automata-Based Computation of Temporal Equilibrium Models | Publicación