Deduction with contradictions in datalog (2014)

by S Abiteboul, D Deutch, V Vianu
Venue:In ICDT