Jan Chomicki, David Toman. Temporal Logic in Information Systems. In Jan Chomicki, Gunter Saake, editors, Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995). pages 31-70, Kluwer, 1998. [doi]
Abstract is missing.