On temporal logic versus datalog

Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto N. Afrati. On temporal logic versus datalog. Theoretical Computer Science, 1(303):103-133, 2003. [doi]

Abstract

Abstract is missing.