On the Complexity of Temporal Equilibrium Logic.

Laura Bozzelli, David Pearce

Browse the full LICS paper archive.