The Complexity of Temporal Logic with Until and Since over Ordinals.

Stphane Demri, Alexander Rabinovich

Browse the full LPAR paper archive.