Complete proof systems for first order interval temporal logic (1995)

by B DUTERTRE
Venue:In LICS. IEEE Computer Society