From CTL to Datalog. - Foto N. Afrati; Theodore Andronikos; Vassia Pavlaki; E. Foustoukos; Irène Guessarian (PCK50, 2003)