Toman, D., & Niwinski, D. (1996). First-Order Queries Over Temporal Databases Inexpressible in Temporal Logic Presented at the First-Order Queries Over Temporal Databases Inexpressible in Temporal Logic conference. https://doi.org/10.1007/BFb0014160