Download

Complexity of Some Logics Extended with Monadic Datalog Programs