Querying ATSQL databases with temporal logic

Jan Chomicki, David Toman, Michael H. Böhlen. Querying ATSQL databases with temporal logic. ACM Trans. Database Syst., 26(2):145-178, 2001. [doi]

@article{ChomickiTB01,
  title = {Querying ATSQL databases with temporal logic},
  author = {Jan Chomicki and David Toman and Michael H. Böhlen},
  year = {2001},
  url = {http://portal.acm.org/citation.cfm?id=383891.383892},
  tags = {logic},
  researchr = {https://researchr.org/publication/ChomickiTB01},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Database Syst.},
  volume = {26},
  number = {2},
  pages = {145-178},
}