Non monotonic logics: Models and proofs (1988)

by Daniel Lehmann, Sarit Kraus
Venue:In European Workshop on Logical Methods in Artificial Intelligence