Datalog with Negation and Monotonicity.

Bas Ketsman, Christoph Koch

Browse the full ICDT paper archive.