Pseudo Extension in Default Reasoning and Belief Revision by Model Inference. - Hiroko Yuasa; Setsuo Arikawa (LP, 1988)