Foto N. Afrati Theodore Andronikos Vassia Pavlaki Eugénie Foustoucos Irène Guessarian On relating CTL to Datalog http://arxiv.org/abs/cs/0510012 2005 CoRR abs/cs/0510012 db/journals/corr/corr0510.html#abs-cs-0510012 informal publication