An automata-theoretic approach to constraint LTL (0)

by S Demri, D D’Souza
Venue:Inf. Comput