%0 Journal Article %A Foustoucos, Eugénie %A Guessarian, Irène %T Inf-datalog, modal logic and complexities %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2009 %P 1-21 %V 43 %N 1 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2007043/ %R 10.1051/ita:2007043 %G en %F ITA_2009__43_1_1_0