A note on the relationship between KLM and MAK models for nonmonotonic inference operations - Dix, Jürgen 1961-; Makinson, David (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht, 1991)