Stéphane Demri, Alexander Rabinovich. The Complexity of Temporal Logic with Until and Since over Ordinals. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 531-545, Springer, 2007. [doi]
Abstract is missing.