LTL with the Freeze Quantifier and Register Automata.

Stphane Demri, Ranko Lazic

Browse the full LICS paper archive.