On the freeze quantifier in Constraint LTL: Decidability and complexity

St├ęphane Demri, Ranko Lazic, David Nowak. On the freeze quantifier in Constraint LTL: Decidability and complexity. Inf. Comput., 205(1):2-24, 2007. [doi]

Abstract

Abstract is missing.