LTL with the freeze quantifier and register automata (2009)

by S Demri, R Lazić
Venue:ACM Transactions on Computational Logic