Stéphane Demri, Régis Gascon. The Effects of Bounding Syntactic Resources on Presburger LTL. In 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain. pages 94-104, IEEE Computer Society, 2007. [doi]