First Order Linear Temporal Logic over Finite Time Structures.

Serenella Cerrito Marta Cialdea Mayer Sébastien Praud First Order Linear Temporal Logic over Finite Time Structures. 62-76 1999 conf/lpar/1999 LPAR db/conf/lpar/lpar99.html#CerritoMP99 http://dx.doi.org/10.1007/3-540-48242-3_5