Yves Moinard Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. 531-535 2002 conf/ecai/2002 ECAI db/conf/ecai/ecai2002.html#Moinard02