TY  - RPRT
TI  - Complexity of Monadic inf-datalog. Application to temporal logic
AU  - Eugénie Foustoucos
AU  - Irene Guessarian
PY  - 2006
UR  - https://arxiv.org/abs/cs/0603122
ID  - cs/0603122
ER  -