Inf-datalog, Modal Logic and Complexities

Eugénie Foustoucos, Irène Guessarian. Inf-datalog, Modal Logic and Complexities. ITA, 43(1):1-21, 2009. [doi]

Abstract

Abstract is missing.