Foustoucos, E. Guessarian, I., Inf-datalog, modal logic and complexities, RAIRO - Theoretical Informatics and Applications, (43), 1-21, 2009, 0988-3754, 1290-385X