@inbook{598,
  author = {Jan Chomicki and David Toman},
  title = {Temporal Logic in Database Query Languages},
  year = {2009},
  publisher = {Springer},
  doi = {10.1007/978-0-387-39940-9_402},
}