A Logic for Reasoning with Inconsistency.

Michael Kifer Eliezer L. Lozinskii A Logic for Reasoning with Inconsistency. 179-215 1992 9 J. Autom. Reasoning 2 db/journals/jar/jar9.html#KiferL92