Querying TSQL2 Databases with Temporal Logic

Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman. Querying TSQL2 Databases with Temporal Logic. In Peter M. G. Apers, Mokrane Bouzeghoub, Georges Gardarin, editors, Advances in Database Technology - EDBT 96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings. Volume 1057 of Lecture Notes in Computer Science, pages 325-341, Springer, 1996. [doi]

@inproceedings{BohlenCST96,
  title = {Querying TSQL2 Databases with Temporal Logic},
  author = {Michael H. Böhlen and Jan Chomicki and Richard T. Snodgrass and David Toman},
  year = {1996},
  tags = {logic},
  researchr = {https://researchr.org/publication/BohlenCST96},
  cites = {0},
  citedby = {0},
  pages = {325-341},
  booktitle = {Advances in Database Technology - EDBT 96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings},
  editor = {Peter M. G. Apers and Mokrane Bouzeghoub and Georges Gardarin},
  volume = {1057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61057-X},
}