A note on the relationship between KLM and MAK models for nonmonotonic inference operations - Dix, Jürgen 1961-; Makinson, David (Inst. für Logik, Komplexität und Deduktionssysteme, 1991)