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