Yves Moinard Linking Makinson and Kraus-Lehmann-Magidor preferential entailments http://arxiv.org/abs/cs.AI/0208017 2002 CoRR cs.AI/0208017 db/journals/corr/corr0208.html#cs-AI-0208017