On the Freeze Quantifier in Constraint LTL: Decidability and Complexity.

Stphane Demri, Ranko Lazic, David Nowak

Browse the full TIME paper archive.