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}, }