TY  - RPRT
TI  - On the freeze quantifier in Constraint LTL: decidability and complexity
AU  - Stéphane Demri
AU  - Ranko Lazic
AU  - David Nowak
PY  - 2006
DO  - 10.1016/j.ic.2006.08.003
UR  - https://arxiv.org/abs/cs/0609008
ID  - cs/0609008
ER  -