Temporal Logic in Information Systems.

@inproceedings{DBLP:conf/dagstuhl/ChomickiT98,
  author    = {Jan Chomicki and
               David Toman},
  editor    = {Jan Chomicki and
               Gunter Saake},
  title     = {Temporal Logic in Information Systems},
  booktitle = {Logics for Databases and Information Systems (the book grow out
               of the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
               1995)},
  publisher = {Kluwer},
  year      = {1998},
  pages     = {31-70},
  ee        = {db/conf/dagstuhl/ChomickiT98.html},
  crossref  = {DBLP:books/kl/ChomickiS98},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An5-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Referenced by

1. Claudio Bettini: Review - Temporal Logic in Information Systems. ACM SIGMOD Digital Review 2: (2000)