On the freeze quantifier in constraint LTL: decidability and complexity | IEEE Conference Publication | IEEE Xplore