Deduction with Contradictions in Datalog.

Serge Abiteboul, Daniel Deutch, Victor Vianu

Browse the full ICDT paper archive.