"Paraconsistent default reasoning."

Qing Han, Zuoquan Lin (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics