Kamal Lodaya. Sharpening the Undecidability of Interval Temporal Logic. In Jifeng He, Masahiko Sato, editors, Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings. Volume 1961 of Lecture Notes in Computer Science, pages 290-298, Springer, 2000. [doi]
Abstract is missing.