Unifying Default Reasoning and Belief Revision in a Modal Framework

Artif. Intell., 68 (1994), pp. 33-85

Abstract