Contracted Temporal Equilibrium Logic.

Pedro Cabalar, Thomas Eiter, Davide Sold

Browse the full KR paper archive.