Temporal Versus First-Order Logic to Query Temporal Databases.

Serge Abiteboul, Laurent Herr, Jan Van den Bussche

Browse the full PODS paper archive.