TY  - RPRT
TI  - On relating CTL to Datalog
AU  - Foto Afrati
AU  - Theodore Andronikos
AU  - Vassia Pavlaki
AU  - Eugenie Foustoucos
AU  - Irene Guessarian
PY  - 2005
UR  - https://arxiv.org/abs/cs/0510012
ID  - cs/0510012
ER  -