Sarit Kraus Daniel J. Lehmann Menachem Magidor Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. 167-207 1990 44 Artif. Intell. 1-2 db/journals/ai/ai44.html#KrausLM90