Philippe Besnard Logics for Automated Reasoning in the Presence of Contradictions. 33-42 1990 AIMSA db/conf/aimsa/aimsa1990.html#Besnard90