Automata-Based Computation of Temporal Equilibrium Models.

Pedro Cabalar, Stphane Demri

Browse the full LOPSTR paper archive.