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]
@inproceedings{ChomickiT98,
title = {Temporal Logic in Information Systems},
author = {Jan Chomicki and David Toman},
year = {1998},
researchr = {https://researchr.org/publication/ChomickiT98},
cites = {0},
citedby = {0},
pages = {31-70},
booktitle = {Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995)},
editor = {Jan Chomicki and Gunter Saake},
publisher = {Kluwer},
}