@inbook{573,
  author = {Jan Chomicki and David Toman},
  title = {Temporal Logic in Database Query Languages},
  year = {2018},
  publisher = {Springer},
  doi = {10.1007/978-1-4614-8265-9_402},
}