Unifying default reasoning and belief revision in a modal framework, Artif: Intell. 68 (1994)

by C Boutilier