Inf-datalog, Modal Logic and Complexities
and
RAIRO-Theor. Inf. Appl., 43 1 (2009) 1-21
Published online: 20 December 2007
DOI: 10.1051/ita:2007043
