Serge Abiteboul, Daniel Deutch, Victor Vianu. Deduction with Contradictions in Datalog. In Nicole Schweikardt, Vassilis Christophides, Vincent Leroy, editors, Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014. pages 143-154, OpenProceedings.org, 2014. [doi]
Abstract is missing.