@inproceedings{703,
  author = {Jan Chomicki and David Toman},
  title = {Temporal Logic in Information Systems},
  year = {1998},
  journal = {Temporal Logic in Information Systems},
}