Inf-datalog, Modal Logic and ComplexitiesEugénie Foustoucos and Irène GuessarianRAIRO-Theor. Inf. Appl., 43 1 (2009) 1-21DOI: https://doi.org/10.1051/ita:2007043
