"RI: A Logic for Reasoning with Inconsistency"

Michael Kifer, Eliezer L. Lozinskii (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics