Philippe Besnard Default Logics. 38-41 1991 conf/ecsqaru/1991 ECSQARU db/conf/ecsqaru/ecsqaru1991.html#Besnard91