c-kr-89-137Hector Geffner.
Default Reasoning, Minimality and Coherence.
Proc. International Conf on Knowledge Representation and Reasoning, 1989, pp. 137-148