Christos H. Papadimitriou Martha Sideri Default Theories that Always Have Extensions. 347-357 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#PapadimitriouS94