Nonmonotonic Reasoning, Preferential Models and Cumulative Logics (1990)

by Sarit Kraus, Daniel Lehmann, Menachem Magidor