Stéphane Demri, Deepak D Souza, Régis Gascon. A Decidable Temporal Logic of Repeating Values. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Volume 4514 of Lecture Notes in Computer Science, pages 180-194, Springer, 2007. [doi]
Abstract is missing.