1. The temporal logic of programs;Pnueli,1977
2. Declarative past and imperative future: executable temporal logic for interactive systems;Gabbay,1989
3. Temporal Logic: Mathematical Foundations and Computational Aspects. Volume i;Gabbay,1994
4. A separation theorem for discrete-time interval temporal logic;Guelev;J. Appl. Non-Class. Log.,2022
5. Executing Temporal Logic Programs;Moszkowski,1986