Jan Chomicki David Toman Michael H. Böhlen Querying ATSQL databases with temporal logic. 145-178 2001 26 ACM Trans. Database Syst. 2 http://portal.acm.org/citation.cfm?id=383891.383892 db/journals/tods/tods26.html#ChomickiTB01